RDLProofSystem/src/test/java/terms at af2b14c7deddb270e53a9a1c16f5630209b16151 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 157 commits

RDLProofSystem / src / test / java / terms /

latest commit af2b14c7de Sakoda2269 authored on 31 Jul
	..
	meta	testを修正	1 month ago
	DependencyTermTest.java	testを修正	1 month ago
	DependencyTest.java	isMatchedByの戻り値と引数の型を変更	1 month ago
	EqualsTest.java	ディレクトリ構造変更	4 months ago
	LinearRightNormalTest.java	依存項の階数の制約を修正した	3 months ago
	OrderTest.java	MetaTermも複数引数に対応	1 month ago