logoalt Hacker News

auggierose • yesterday at 9:10 AM • 1 reply • view on HN

Or we just don't use LEAN but something better.

Replies

rowanG077 • yesterday at 9:32 AM

Does anything truly better exist? I'm not a mathematician but I did use Rocq and Lean during university. And I found lean to be better.

➕ show 2 replies