意味論的同値関係の推論ができるようになった

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code 意味論的同値関係の推論ができるようになった main
1 parent 1546ddd commit 9019600a8e79aba7ce5685108021f8b5d79b824f Sakoda2269 authored on 17 Feb

Patch

Unified Split

Showing 5 changed files

Ignore Space Show notes View src/Main.java

Ignore Space Show notes View src/inference/equivalence/MetaSemanticEquivalenceRelation.java

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceProofSystem.java

Ignore Space Show notes View src/inference/equivalence/SemanticEquivalenceRelation.java

Ignore Space Show notes View src/models/formulas/EquationFormula.java

Show line notes below