Mentions légales du service

Admin message

GitLab upgrade completed. Current version is 18.10.6
https://docs.gitlab.com/releases/18/gitlab-18-10-released/

N

Necro Coq Generator

Project information

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

253 Commits
7 Branches
36 Tags

README
CHANGELOG

Created on

August 17, 2020

Loading