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

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 219 commits

RDLProofSystem / src / main / java / inference /

latest commit 7adbd544a0 Sakoda2269 authored 19 days ago
	..
	axioms	公理実装完了	1 month ago
	equivalence	意味論的同値性のコードを一時的にコメントアウト	2 months ago
	rewrite	isMatchedByにPositionを追加	1 month ago
	AssumptionGenerator.java	公理を追加	2 months ago
	AssumptionSizeCalculator.java	right sub実装まで	1 month ago
	ConclusionSizeCalculator.java	right sub実装まで	1 month ago
	EquationAxiom.java	ArgumentExtensionまで	1 month ago
	In.java	test完了	1 month ago
	InferenceOrderConstraint.java	Constantnessまで	1 month ago
	InferenceRule.java	初期化を追加	19 days ago
	ProofSystem.java	公理実装完了	1 month ago