GitBucket
|
|
|||
|---|---|---|---|
| .. | |||
| axioms | 23 days ago | ||
| equivalence | 2 months ago | ||
| rewrite | 1 month ago | ||
| AssumptionGenerator.java | 2 months ago | ||
| AssumptionSizeCalculator.java | 1 month ago | ||
| ConclusionSizeCalculator.java | 1 month ago | ||
| EquationAxiom.java | 1 month ago | ||
| In.java | 1 month ago | ||
| InferenceHistory.java | 23 days ago | ||
| InferenceHistoryNode.java | 23 days ago | ||
| InferenceOrderConstraint.java | 1 month ago | ||
| InferenceRule.java | 19 days ago | ||
| ProofState.java | 23 days ago | ||
| ProofSystem.java | 23 days ago | ||