My experience with Lean 4 for general programming
Posted 2 months ago by
quamserena
6
points
https://quamserena.com/2025-12-10/my-experience-with-lean-4-for-general-programming
0
comments