RDLProofSystem/src/models at cd3fde4390e5bf5e635b5c62e5c9a3e9c8ec65e2

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 64 commits

RDLProofSystem / src / models /


..
formulas	inの形の式に対応	1 year ago
terms	公理に出現する階数の制約を追加できるようにした	1 year ago