Skip to content

Files

Latest commit

a88b778 · Jun 14, 2025

History

History
22 lines (17 loc) · 611 Bytes

_CoqProject

File metadata and controls

22 lines (17 loc) · 611 Bytes