Hacker News new | ask | show | jobs
My experience with Lean 4 for general programming (quamserena.com)
6 points by quamserena 194 days ago