公理を追加

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code 公理を追加 main
1 parent 7b2a4e2 commit 6fb977bd6eef691fe2f9d3c1a91c7d2d536fbe3b Sakoda2269 authored on 9 Mar

Patch

Unified Split

Showing 6 changed files

Ignore Space Show notes View src/Main.java

Ignore Space Show notes View src/inference/InferenceOrderConstraint.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/inference/equivalence/SemanticEquivalenceProofSystem.java

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

Show line notes below