テストを追加

Fork: 0

nitta-lab / RDLProofSystem

Browse code テストを追加 feature/axiom-inference-mk2 feature/axiom_inference main separateDTRAMTerm update/dependency-args update/maven2gradle
1 parent 742df2c commit 12b6424a47f4925be31a506bf0433b3b24466c63 Sakoda2269 authored on 6 Aug

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View src/test/java/terms/DependencyTest.java

Show line notes below