left subとright subをdynamicに

Fork: 0

nitta-lab / RDLProofSystem

Browse code left subとright subをdynamicに feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent d65b330 commit 4f2c41ab411482789363f0471a8e60afcb9b2b52 Sakoda2269 authored 13 days ago

Patch

Unified Split

Showing 5 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/formulas/meta/MetaFormula.java

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

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

Show line notes below