公理系一通り実装完了

Fork: 0

nitta-lab / RDLProofSystem

Browse code 公理系一通り実装完了 feature/axiom-inference-mk2
1 parent 2fc8d7a commit 0dd6a29a7a4cf3c54f70b1a261de1590c3cae15c Sakoda2269 authored 15 days ago

Patch

Unified Split

Showing 3 changed files

Ignore Space Show notes View src/main/java/Main.java

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

Ignore Space Show notes View src/test/java/inferencerule/EqualityAxiomTest.java

Show line notes below