Issues
- 0
- 0
Suggestion: link to index
#25 opened by fpvandoorn - 1
- 0
cut and paste access to LaTeX and lean labels?
#22 opened by kbuzzard - 2
- 3
- 2
bibtex and client
#12 opened by PatrickMassot - 1
Feature Request: Full Mathlibok Support
#14 opened by Bergschaf - 4
Dependency graph is not properly generated if there is no empty line above '\begin{theorem}'
#7 opened by ianjauslin-rutgers - 1
- 0
Disconnect dependence on Lean 3
#4 opened by mpenciak