RDLProofSystem/src/main/java/inference at b7dc29dd12db3ead0b85e0db199e4a13d9f07913

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 151 commits

RDLProofSystem / src / main / java / inference /


..
equivalence	ディレクトリ構造変更	4 months ago
rewrite	書き換え推論をいったん完成	2 months ago
InferenceOrderConstraint.java	ディレクトリ構造変更	4 months ago
InferenceRule.java	ディレクトリ構造変更	4 months ago
ProofSystem.java	metaを複数項に対応	1 month ago