RDLProofSystem/src/main/java/inference at 8fbdd2da53bf40d26e33f4241f11b6f46bc0671f - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 204 commits

RDLProofSystem / src / main / java / inference /

latest commit 8fbdd2da53 Sakoda2269 authored 14 days ago
	..
	axioms	in, codomain membership, domain membershipを実装	14 days ago
	equivalence	意味論的同値性のコードを一時的にコメントアウト	27 days ago
	rewrite	rewriteについて修正	2 months ago
	AssumptionGenerator.java	公理を追加	1 month ago
	AssumptionSizeCalculator.java	right sub実装まで	20 days ago
	ConclusionSizeCalculator.java	right sub実装まで	20 days ago
	EquationAxiom.java	left sub, identityを追加	19 days ago
	In.java	in, codomain membership, domain membershipを実装	14 days ago
	InferenceOrderConstraint.java	ディレクトリ構造変更	4 months ago
	InferenceRule.java	in, codomain membership, domain membershipを実装	14 days ago
	ProofSystem.java	Right Normalizationまで	16 days ago