Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
arithmetic
cexsearch
coasterx
dRL
helpers
robustify
AnonymousLemmas.scala
Approximator.scala
ArithmeticLibrary.scala
ArithmeticSimplification.scala
Augmentors.scala
AxiomIndex.scala
AxiomInfo.scala
AxiomaticODESolver.scala
BelleLabels.scala
BelleREPL.scala
Bifurcation.scala
Context.scala
DLBySubst.scala
DependencyAnalysis.scala
DerivedAxioms.scala
DifferentialDecisionProcedures.scala
DifferentialSaturation.scala
DifferentialTactics.scala
EqualityTactics.scala
ExpressionTraversal.scala
FOQuantifierTactics.scala
FormulaTools.scala
Generator.scala
HilbertCalculus.scala
HybridProgramTactics.scala
Integrator.scala
IntervalArithmetic.scala
InvGenTool.scala
InvariantGenerator.scala
InvariantProvers.scala
IsabelleSyntax.scala
Kaisar.scala
MiscTactics.scala
ModelPlex.scala
ModelPlexTrait.scala
ODEInvariance.scala
PolynomialArith.scala
ProofRuleTactics.scala
PropositionalTactics.scala
SequentCalculus.scala
Simplifier.scala
SimplifierV2.scala
SimplifierV3.scala
StaticSemanticsTools.scala
SubstitutionHelper.scala
TacticHelper.scala
TacticIndex.scala
TactixLibrary.scala
ToolProvider.scala
ToolTactics.scala
Transitivity.scala
TreeForm.scala
UnifyUSCalculus.scala
package.scala