top | item 46027270 (no title) yuppiemephisto | 3 months ago These days, I prefer Lean 4. Its macro system is inspired by racket and it has powerful types discuss order hn newest No comments yet.
No comments yet.