Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
A Proof Assistant inside Coq
Repository
Branches
Overview
Active
Stale
All
Active branches
main
default
protected
e273ca63
·
Initialized repository
·
Mar 22, 2024