Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
univalence-elim
Repository
univalence-elim
ua.org
Find file
Blame
History
Permalink
Turn ua.org into a standalone LaTeX generating Org file.
· 60fd9dee
Raphael Cauderlier
authored
Feb 16, 2017
60fd9dee