Mentions légales du service

Skip to content

GitLab

Explore

Sign in

N

Necro Coq Generator

Project information

Apps to compile from skel to gallina for use with the Coq Proof Assistant

247 Commits
7 Branches
35 Tags

README
CHANGELOG

Created on

August 17, 2020

Copy SSH clone URLgit@gitlab.inria.fr:skeletons/necro-coq.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/skeletons/necro-coq.git

Loading