RDLProofSystem/src/test/java at 6ac703028cd35de5247fed550ae44a00692de244 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 209 commits

RDLProofSystem / src / test / java /

latest commit 6ac703028c Sakoda2269 authored 8 days ago
	..
	equivalence	RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）	21 days ago
	formulas/ meta	RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）	21 days ago
	inferencerule	testを修正, EquationAxiom#applyの戻り値を変更	8 days ago
	rewrite	RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）	21 days ago
	terms	公理の推論の実装変更とtransitivity testまで	14 days ago
	utils	公理見直し中	13 days ago