RDLProofSystem/src/main/java/inference at cfb623238c0df26fb3a1f98deed870111ecf1df4

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 152 commits

RDLProofSystem / src / main / java / inference /


..
equivalence	ディレクトリ構造変更	4 months ago
rewrite	rewriteについて修正	1 month ago
InferenceOrderConstraint.java	ディレクトリ構造変更	4 months ago
InferenceRule.java	ディレクトリ構造変更	4 months ago
ProofSystem.java	metaを複数項に対応	1 month ago