InTestを削除

Fork: 0

nitta-lab / RDLProofSystem

Browse code InTestを削除 feature/axiom-inference-mk2
1 parent e64b8e1 commit 1c98c0c87b5d4e2cc80e204620d73b4598d66c07 Sakoda2269 authored 7 days ago

Patch

Unified Split

Showing 3 changed files

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

Show notes View src/test/java/inferencerule/InTest.java 100644 → 0

Ignore Space Show notes View src/test/java/terms/meta/MetaDynamicDependencyTest.java

Show line notes below