gallina

Here are 3 public repositories matching this topic...

A Verified Compiler for Gallina, Written in Gallina

compiler coq formal-verification gallina rocq-prover

A game based on the popular game Crossy Road, developed in C and C++ using OpenGL and GLUT for 3D graphics.

c visual-studio opengl cpp game-development glut chicken juego 3d road 3d-graphics 3d-game crossy-road crossyroad gallina

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

coq proof gallina

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