#

gallina

Here are 2 public repositories matching this topic...

CertiCoq / certicoq

A Verified Compiler for Gallina, Written in Gallina

compiler coq formal-verification gallina

Updated Jan 29, 2025
Coq

KevinFroissart / coqTP

Coq programs made during my Bachelor's Degree at the University of Lyon in France.

coq proof gallina

Updated Dec 7, 2020
Coq

Improve this page

Add a description, image, and links to the gallina topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the gallina topic, visit your repo's landing page and select "manage topics."