Skip to content

First tentative at a coq backend#556

Draft
adelaett wants to merge 9 commits into
masterfrom
coq_backend
Draft

First tentative at a coq backend#556
adelaett wants to merge 9 commits into
masterfrom
coq_backend

Commits

Commits on Jan 8, 2024