Fork: 0
nitta-lab / RDLProofSystem
Download ZIP 193 commits
Transfer to URL with SHA
RDLProofSystem / src / main / java / inference / axioms /
latest commit 3089673fd7
@Sakoda2269 Sakoda2269 authored 19 days ago
..
RightSubstitution.java left sub, identityを追加 19 days ago