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