RDLProofSystem/src/test/java/terms at 09b8a7031e4b221bb4b61b43c978949bc01d2b69 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 206 commits

RDLProofSystem / src / test / java / terms /

latest commit 95d24b73d3 Sakoda2269 authored 14 days ago
	..
	meta	公理の推論の実装変更とtransitivity testまで	14 days ago
	DependencyTermTest.java	merge main	20 days ago
	DependencyTest.java	merge main	20 days ago
	EqualsTest.java	RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）	21 days ago
	LinearRightNormalTest.java	依存項の階数の制約を修正した	4 months ago
	OrderTest.java	RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）	21 days ago