Browse code Right Normalizationまで feature/axiom-inference-mk2
1 parent bc1b3eb commit 2fc8d7ab4f35e61f644befb8366dabf59442f9e5 Sakoda2269 authored 16 days ago

Showing 11 changed files

• src/main/java/Main.java
• src/main/java/inference/ProofSystem.java
• src/main/java/inference/axioms/Constantness.java
• src/main/java/inference/axioms/MapComposition.java
• src/main/java/inference/axioms/RightNormalization.java
• src/main/java/models/terms/meta/MetaDynamicDependencyTerm.java
• src/main/java/models/terms/meta/MetaVariable.java
• src/main/java/utils/ExpressionUitls.java
• src/main/java/utils/ExpressionUtils.java
• src/test/java/inferencerule/EqualityAxiomTest.java
• src/test/java/utils/Utils.java

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

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

Ignore Space Show notes View src/main/java/inference/axioms/Constantness.java

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

Ignore Space Show notes View src/main/java/inference/axioms/RightNormalization.java

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

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

Show notes View src/main/java/utils/ExpressionUitls.java 100644 → 0

Ignore Space Show notes View src/main/java/utils/ExpressionUtils.java 0 → 100644

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

Ignore Space Show notes View src/test/java/utils/Utils.java

Show line notes below