100 theorems in Lean Posted by ggzor on Friday May 23, 2025 @02:08PM from the leanprover-community.github.io dept. https://leanprover-community.github.io/100.html ( no comments | 7 points | on HN )
There are no comments yet.