複数引数に対応中

Fork: 0

nitta-lab / RDLProofSystem

Browse code 複数引数に対応中 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent a19cb00 commit d65b3302c4d3c461af1254d23bfdbbdea606452d Sakoda2269 authored 13 days ago

Patch

Unified Split

Showing 3 changed files

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/test/java/inferencerule/EqualityAxiomTest.java

Show line notes below