Skip to content

Files

Latest commit

574cc2c · Jan 6, 2025

History

History
106 lines (105 loc) · 3.09 KB

_CoqProject

File metadata and controls

106 lines (105 loc) · 3.09 KB