公理実装完了

Fork: 0

nitta-lab / RDLProofSystem

Browse code 公理実装完了 feature/axiom-inference-mk2
1 parent ddbd519 commit ca2e140369a87a541f02d98dd6353020f36b7835 Sakoda2269 authored 5 days ago

Patch

Unified Split

Showing 8 changed files

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

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

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

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

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

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

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

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

Show line notes below