Skip to content

Files

Latest commit

8377ad7 · Apr 13, 2024

History

History
79 lines (70 loc) · 2.19 KB

coq.yml

File metadata and controls

79 lines (70 loc) · 2.19 KB