公理を使った推論を実装

Fork: 0

k-sakoda / ResourceDependencyLogic

Browse code 公理を使った推論を実装 main
1 parent 378e2df commit 7b2a4e2a7da9335140dca1e4e830756ec2f2e61a Sakoda2269 authored on 1 Mar

Patch

Unified Split

Showing 4 changed files

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/tests/terms/meta/MetaEvaluatableTermVariableTest.java 0 → 100644

Show line notes below