Browse code 公理の推論の実装変更とtransitivity testまで feature/axiom-inference-mk2
1 parent d8a6590 commit 95d24b73d3ec6b7d6a434c645f2e09f6aa1969e4 Sakoda2269 authored 14 days ago

Showing 15 changed files

• src/main/java/Main.java
• src/main/java/inference/EquationAxiom.java
• src/main/java/inference/InferenceRule.java
• src/main/java/inference/ProofSystem.java
• src/main/java/inference/axioms/ArgumentDependencyExtraction.java
• src/main/java/inference/axioms/CompositeMapping.java
• src/main/java/inference/axioms/Constantness.java
• src/main/java/inference/axioms/MapComposition.java
• src/main/java/inference/axioms/RedundancyElimination.java
• src/main/java/inference/axioms/RightNormalization.java
• src/main/java/inference/axioms/RightSubstitution.java
• src/main/java/inference/axioms/UncurriedMapping.java
• src/main/java/inference/axioms/Uncurrying.java
• src/test/java/inferencerule/EqualityAxiomTest.java
• src/test/java/terms/meta/MetaDynamicDependencyTest.java

Ignore Space Show notes View src/main/java/Main.java

Show notes View src/main/java/inference/EquationAxiom.java 100644 → 0

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

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

Show notes View src/main/java/inference/axioms/ArgumentDependencyExtraction.java 100644 → 0

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

Show notes View src/main/java/inference/axioms/Constantness.java 100644 → 0

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

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

Show notes View src/main/java/inference/axioms/RightNormalization.java 100644 → 0

Show notes View src/main/java/inference/axioms/RightSubstitution.java 100644 → 0

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

Show notes View src/main/java/inference/axioms/Uncurrying.java 100644 → 0

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

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

Show line notes below