RDLProofSystem/src/main/java/inference/axioms at 73a7ac2caf7f15c9e339f51796a86c3ab07d95b4 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 226 commits

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

latest commit 73a7ac2caf 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	依存関係の推論実装完了	19 days ago
	Constantness.java	test完了	1 month ago
	DependencyExtension.java	依存関係の推論実装完了	19 days 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