The reason "Lean" is named that way: https://leodemoura.github.io/blog/2026-3-16-who-watches-the-provers/
Remote
Daniel Le Berre
@dleberre@mastodon.social
mastodon 4.8.0-nightly.2026-10-06Apprendre. Comprendre. Diffuser. Transmettre. Je code donc je suis. Profil par Olivier Sampson.
0 Followers
0 Following
1 Posts
Joined October 29, 2022