Hacker News new | ask | show | jobs
How to Search for Theorems in Lean 4 (lakesare.brick.do)
4 points by lakesare 342 days ago