等式の公理を一部追加

Fork: 0

nitta-lab / RDLProofSystem

Browse code 等式の公理を一部追加 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 33ce8a5 commit eca6228788ad44e738bdf7e7f2940962c7b712f1 Sakoda2269 authored 27 days ago

Patch

Unified Split

Showing 4 changed files

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/MetaVariable.java

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

Show line notes below