RDLProofSystem/src/main/java/inference/axioms at 998595c0fc344d63e371333a47e3b92cb2850689 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 195 commits

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

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