RDLProofSystem/src/main/java/inference at c696b3340c18033dd22299692b6318095c7b4ecb - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 224 commits

RDLProofSystem / src / main / java / inference /

latest commit c696b3340c Sakoda2269 authored 19 days ago
	..
	axioms	依存関係の推論のテスト中	19 days ago
	equivalence	意味論的同値性のコードを一時的にコメントアウト	2 months ago
	rewrite	細かな不具合を修正	19 days 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
	InferenceHistory.java	依存関係の推論を実装	19 days ago
	InferenceHistoryNode.java	dependencyの推論実装中	23 days ago
	InferenceOrderConstraint.java	Constantnessまで	1 month ago
	InferenceRule.java	依存関係の推論のテスト中	19 days ago
	ProofState.java	依存関係の推論のテスト中	19 days ago
	ProofSystem.java	依存関係の推論のテスト中	19 days ago