The right things to find after spending a day learning Lean.

https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html

Not that I understand what they’re talking about…