search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
51 stars 119 forks source link

Add a glossary entries for HoTT, UH, TC, fbip, dot notation and API #226

Open gabriel-doriath-dohler opened 2 years ago

gabriel-doriath-dohler commented 2 years ago

These terms and acronyms could be difficult for newcomers depending on their background:

Julian commented 2 years ago

(#249 gave us HoTT, so we can cross that one off).

I'll hit API at some point soon.