https://bugzilla.redhat.com/show_bug.cgi?id=2277910
--- Comment #2 from Jens Petersen <petersen(a)redhat.com> ---
Website:
https://lean-lang.org/
Also:
https://leanprover-community.github.io/
--
You are receiving this mail because:
You are always notified about changes to this product and component
You are on the CC list for the bug.
https://bugzilla.redhat.com/show_bug.cgi?id=2277910
Report this comment as SPAM:
https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=rep...