公理追加完了

Fork: 0

nitta-lab / RDLProofSystem

Browse code 公理追加完了 feature/axiom-inference-mk2 feature/axiom_inference fix/dependencyTerm-constructor fixResource main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 9bdb644 commit a19cb0057db48792574d1eae90ef160c0c748562 Sakoda2269 authored on 2 Sep

Patch

Unified Split

Showing 5 changed files

Ignore Space Show notes View src/main/java/inference/Constantness.java

Ignore Space Show notes View src/main/java/inference/InferenceRule.java

Ignore Space Show notes View src/main/java/inference/ProofSystem.java

Ignore Space Show notes View src/main/java/models/terms/meta/MatchConstraint.java

Ignore Space Show notes View src/test/java/inferencerule/EqualityAxiomTest.java

Show line notes below