RDLProofSystem/src/test/java/terms at 2fc8d7ab4f35e61f644befb8366dabf59442f9e5 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 195 commits

RDLProofSystem / src / test / java / terms /

latest commit 998595c0fc Sakoda2269 authored 18 days ago
	..
	meta	MapComposition 途中まで	18 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