My experience with Lean 4 for general programming

6 points| quamserena | 2 months ago |quamserena.com