RDLProofSystem/src/models/terms at 67b16636c3918c2e912a50d9a41466895969b1ec - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 64 commits

RDLProofSystem / src / models / terms /

latest commit cd3fde4390 Sakoda2269 authored on 5 Nov
	..
	meta	公理に出現する階数の制約を追加できるようにした	10 months ago
	Dependency.java	Dependency#toStringがバグっていたので修正	10 months ago
	DependencyTerm.java	線形右正規化のバグを修正	10 months ago
	EvaluatableTerm.java	ディレクトリ変更	10 months ago
	RDLTerm.java	ディレクトリ変更	10 months ago
	ResourceConstant.java	ディレクトリ変更	10 months ago
	ResourceVariable.java	ディレクトリ変更	10 months ago
	SetEvaluatableTerm.java	ディレクトリ変更	10 months ago