Skip to content

Draft: add mechanized translation to Coq#1

Open
clarus wants to merge 3 commits intomasterfrom guillaume-claret@add-purely-functional-coq-translation

Commits

Commits on Dec 9, 2024

Commits on Dec 10, 2024

Commits on Dec 30, 2024