依存関係の推論のテスト中

Fork: 0

nitta-lab / RDLProofSystem

Browse code 依存関係の推論のテスト中 feature/axiom-inference-mk2
1 parent 38dd22e commit c696b3340c18033dd22299692b6318095c7b4ecb Sakoda2269 authored 19 days ago

Patch

Unified Split

Showing 6 changed files

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

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

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

Ignore Space Show notes View src/main/java/inference/axioms/ArgumentExtension.java

Ignore Space Show notes View src/test/java/inference/DependencyInferenceTest.java 0 → 100644

Ignore Space Show notes View src/test/java/inference/inferencerule/DependencyAxiomTest.java

Show line notes below