Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Coq Exercises
Issues
#43
Structure coqdoc-documentation by using headlines
title should be self-speaking
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information