RDLProofSystem/src/inference/equivalence at d8d1b8def4f680c3dcd2ed052ffa265058ff3a30

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 107 commits

RDLProofSystem / src / inference / equivalence /


..
MetaSemanticEquivalenceRelation.java	意味論的同値関係の推論ができるようになった	7 months ago
SemanticEquivalenceProofSystem.java	公理を追加	6 months ago
SemanticEquivalenceRelation.java	意味論的同値関係の推論ができるようになった	7 months ago