Skip to content

Files

Latest commit

 Cannot retrieve latest commit at this time.

History

History
29 lines (27 loc) · 535 Bytes

_CoqProject

File metadata and controls

29 lines (27 loc) · 535 Bytes