意味論的同値関係について実装

Fork: 0

nitta-lab / RDLProofSystem

Browse code 意味論的同値関係について実装 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent ba9dddb commit 1546ddd53b957926ce27688f22c65353b82a12ab Sakoda2269 authored on 20 Dec

Patch

Unified Split

Showing 5 changed files

Ignore Space Show notes View src/Main.java

Ignore Space Show notes View src/inference/equivalence/MetaSemanticEquivalenceRelation.java

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceProofSystem.java

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceRelation.java

Ignore Space Show notes View src/models/terms/DependencyTerm.java

Show line notes below