RDLProofSystem/src/main/java/models/terms at 998595c0fc344d63e371333a47e3b92cb2850689 - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 194 commits

RDLProofSystem / src / main / java / models / terms /

latest commit 886fd4aa30 Sakoda2269 authored 19 days ago
	..
	meta	dependency axiom unccuried mappingまで	19 days ago
	Dependency.java	merge main	21 days ago
	DependencyTerm.java	merge main	21 days ago
	EvaluatableTerm.java	RDLTerm 以下の Type と Symbol を削除（RDLWorkbenchに委譲）	21 days ago
	LinearRightNormalizedType.java	ディレクトリ構造変更	4 months ago
	PrimedTerm.java	merge main	21 days ago
	RDLTerm.java	dynamicのsubstitutionを作成	20 days ago
	Resource.java	dynamicのsubstitutionを作成	20 days ago
	ResourceConstant.java	merge main	21 days ago