RDLProofSystem/src/models at 58d77a067d80dbf5dff4b8b0fbb4c9e6d861038c

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 83 commits

RDLProofSystem / src / models /


..
formulas	DependencyFormulaを更新	1 year ago
terms	公理に出現する階数の制約を追加できるようにした	1 year ago