Browse code 公理による推論を実装中 main
1 parent 9126af9 commit 378e2dfa010c411ab8cef4928758a34ad5faf826 Sakoda2269 authored on 28 Feb

Showing 12 changed files

• src/Main.java
• src/inference/InferenceRule.java
• src/inference/ProofSystem.java
• src/models/formulas/meta/MetaDependencyFormula.java
• src/models/formulas/meta/MetaEquationFormula.java
• src/models/formulas/meta/MetaFormula.java
• src/models/formulas/meta/MetaInFormula.java
• src/models/terms/meta/MetaRDLTerm.java
• src/models/terms/meta/MetaResourceVariable.java
• src/models/terms/meta/MetaVariable.java
• src/tests/utils/ProductTest.java
• src/utils/Product.java

Ignore Space Show notes View src/Main.java

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

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

Ignore Space Show notes View src/models/formulas/meta/MetaDependencyFormula.java

Ignore Space Show notes View src/models/formulas/meta/MetaEquationFormula.java

Ignore Space Show notes View src/models/formulas/meta/MetaFormula.java

Ignore Space Show notes View src/models/formulas/meta/MetaInFormula.java

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

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

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

Ignore Space Show notes View src/tests/utils/ProductTest.java 0 → 100644

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

Show line notes below