How to Search for Theorems in Lean 4

(lakesare.brick.do)

4 points | by lakesare 20 hours ago ago

No comments yet.