公理を追加

Fork: 0

nitta-lab / RDLProofSystem

Browse code 公理を追加 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 16510cd commit 2afac34b9b33d7d693e7dc42f9cf198fcd656fb1 Sakoda2269 authored 20 days ago

Patch

Unified Split

Showing 8 changed files

Ignore Space Show notes View src/main/java/inference/AssumptionGenerator.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/MetaDynamicTerm.java

Ignore Space Show notes View src/main/java/utils/ExpressionUitls.java

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

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

Ignore Space Show notes View src/test/java/terms/meta/MetaDynamicTermTest.java

Show line notes below