GitBucket
|
|
|||
|---|---|---|---|
| .. | |||
| axioms | 19 days ago | ||
| equivalence | 27 days ago | ||
| rewrite | 2 months ago | ||
| AssumptionGenerator.java | 1 month ago | ||
| AssumptionSizeCalculator.java | 20 days ago | ||
| ConclusionSizeCalculator.java | 20 days ago | ||
| EquationAxiom.java | 19 days ago | ||
| InferenceOrderConstraint.java | 4 months ago | ||
| InferenceRule.java | 19 days ago | ||
| ProofSystem.java | 19 days ago | ||