意味論的同値性のコードを一時的にコメントアウト

Fork: 0

nitta-lab / RDLProofSystem

Browse code 意味論的同値性のコードを一時的にコメントアウト feature/axiom-inference-mk2 feature/axiom_inference main update/dependency-args update/maven2gradle
1 parent 6e89c2f commit 895f1569549c3c761bede6d23ea96711b59cd60c Sakoda2269 authored 5 days ago

Patch

Unified Split

Showing 2 changed files

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

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

Show line notes below