Constantness途中

Fork: 0

nitta-lab / RDLProofSystem

Browse code Constantness途中 feature/axiom-inference-mk2
1 parent 3264627 commit e42621e3cab0fcfe795f1968c5798ef846d2ab8f Sakoda2269 authored 7 days ago

Patch

Unified Split

Showing 9 changed files

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

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

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

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

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

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

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

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

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

Show line notes below