RDLProofSystem/src/main/java/inference/axioms at e64b8e1a6c105ea7b4794c3b7ab47e9ab550d166 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 213 commits

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

latest commit e64b8e1a6c Sakoda2269 authored 7 days ago
	..
	Constantness.java	Constantness途中	7 days ago
	Identity.java	Constantnessまで	7 days ago
	LeftSubstitution.java	Constantnessまで	7 days ago
	MapComposition.java	Constantnessまで	7 days ago
	PseudoConstantness.java	Uncurrying途中まで	7 days ago
	RightNormalization.java	Uncurrying途中まで	7 days ago
	RightSubstitution.java	Constantnessまで	7 days ago
	Uncurrying.java	Uncurrying途中まで	7 days ago