Skip to content

Files

Latest commit

4495ca0 · Jan 17, 2025

History

History
44 lines (42 loc) · 1.41 KB

coq-core.opam

File metadata and controls

44 lines (42 loc) · 1.41 KB