Skip to content
GitLab
Explore
Sign in
Coq
documentation
Repository
documentation
fr-macros
bib
other.bib
Find file
Blame
History
Permalink
required changes
· e4d7f6a5
Claudio Sacerdoti Coen
authored
May 01, 2019
e4d7f6a5