RDLProofSystem/src/main/java/inference/axioms at 87b773d72d40f988763f41bd7e1b38f38dec96da - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 225 commits

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

latest commit 87b773d72d Sakoda2269 authored 19 days ago
	..
	ArgumentConstraint.java	公理実装完了	1 month ago
	ArgumentExtension.java	依存関係の推論のテスト中	19 days ago
	ArgumentReduction.java	依存関係の推論を実装	19 days ago
	CompositeMapping.java	依存関係の推論を実装	19 days 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	依存関係の推論を実装	19 days ago
	PseudoConstantness.java	test完了	1 month ago
	RightNormalization.java	Uncurrying途中まで	1 month ago
	RightSubstitution.java	test完了	1 month ago
	UncurriedMapping.java	再帰的に公理を適用するように変更	19 days ago
	Uncurrying.java	依存関係の推論を実装	19 days ago