Skip to content

feat: implement actual coqc compilation in rocq_library#18

Merged
avrabe merged 1 commit intomainfrom
feat/coqc-compilation
Jan 18, 2026
Merged

feat: implement actual coqc compilation in rocq_library#18
avrabe merged 1 commit intomainfrom
feat/coqc-compilation

Commits

Commits on Jan 18, 2026