Learning how to use Lean 4 [https://leanprover.github.io/]
Primary LanguageLeanGNU General Public License v3.0GPL-3.0