Fork: 0
nitta-lab / RDLProofSystem
Download ZIP 192 commits
Transfer to URL with SHA
RDLProofSystem / src / main / java / inference / axioms /
latest commit 424ec91e79
@Sakoda2269 Sakoda2269 authored 20 days ago
..
RightSubstitution.java right sub実装まで 20 days ago