Skip to content
GitLab
Explore
Sign in
Isabelle
export-paper
Repository
export-paper
cc-by.pdf
Find file
History
Permalink
basic LIPIcs setup as required for Types 2019 postproceedings;
· d7b12ea3
Makarius Wenzel
authored
Aug 22, 2019
some rough text on Isabelle/MMT
d7b12ea3