MapComposition 途中まで

Fork: 0

nitta-lab / RDLProofSystem

Browse code MapComposition 途中まで feature/axiom-inference-mk2
1 parent 886fd4a commit 998595c0fc344d63e371333a47e3b92cb2850689 Sakoda2269 authored 18 days ago

Patch

Unified Split

Showing 6 changed files

Ignore Space Show notes View src/main/java/inference/InferenceRule.java

Ignore Space Show notes View src/main/java/inference/ProofSystem.java

Ignore Space Show notes View src/main/java/inference/axioms/MapComposition.java 0 → 100644

Ignore Space Show notes View src/main/java/inference/axioms/RedundancyElimination.java 0 → 100644

Ignore Space Show notes View src/test/java/inferencerule/DependencyAxiomTest.java

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

Show line notes below