RDLProofSystem/src/main/java/inference/axioms at 1c98c0c87b5d4e2cc80e204620d73b4598d66c07 - 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