These days, I prefer Lean 4. Its macro system is inspired by racket and it has p...

		yuppiemephisto 39 days ago \| parent \| context \| favorite \| on: Racket v9.0 These days, I prefer Lean 4. Its macro system is inspired by racket and it has powerful types