RDLProofSystem/src/main/java/inference/axioms at 777ecf7a17fd35a020d147e2f582b3d862622440 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 195 commits

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

latest commit 998595c0fc Sakoda2269 authored 19 days ago
	..
	CompositeMapping.java	dependency axiom unccuried mappingまで	19 days ago
	MapComposition.java	MapComposition 途中まで	19 days ago
	RedundancyElimination.java	MapComposition 途中まで	19 days ago
	RightSubstitution.java	left sub, identityを追加	19 days ago
	UncurriedMapping.java	dependency axiom unccuried mappingまで	19 days ago