RDLProofSystem/src/main/java/inference/axioms at 886fd4aa304bc948c1180e7449d35e446b6d38f5

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 194 commits

RDLProofSystem / src / main / java / inference / axioms /


..
CompositeMapping.java	dependency axiom unccuried mappingまで	19 days ago
RightSubstitution.java	left sub, identityを追加	19 days ago
UncurriedMapping.java	dependency axiom unccuried mappingまで	19 days ago