RDLProofSystem/src/main/java/inference/axioms at 7adbd544a04c8707aa02667982c342d936ae0c0f - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 218 commits

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

latest commit ca2e140369 Sakoda2269 authored on 1 Oct
	..
	ArgumentConstraint.java	公理実装完了	1 month ago
	ArgumentExtension.java	ArgumentExtensionまで	1 month ago
	ArgumentReduction.java	公理実装完了	1 month ago
	CompositeMapping.java	公理実装完了	1 month ago
	ConstantMapping.java	公理実装完了	1 month ago
	Constantness.java	test完了	1 month ago
	DependencyExtension.java	公理実装完了	1 month ago
	Identity.java	test完了	1 month ago
	LeftSubstitution.java	test完了	1 month ago
	MapComposition.java	test完了	1 month ago
	PseudoConstantness.java	test完了	1 month ago
	RightNormalization.java	Uncurrying途中まで	1 month ago
	RightSubstitution.java	test完了	1 month ago
	UncurriedMapping.java	公理実装完了	1 month ago
	Uncurrying.java	test完了	1 month ago