Skip to content

Files

Latest commit

79f9e82 · Jul 22, 2019

History

History
7 lines (7 loc) · 144 Bytes

_CoqProject

File metadata and controls

7 lines (7 loc) · 144 Bytes