Hacker News new | ask | show | jobs
by yuppiemephisto 212 days ago
These days, I prefer Lean 4. Its macro system is inspired by racket and it has powerful types