Hacker News new | ask | show | jobs
Practice your Lean 4 in gamified fashion (oli.show)
2 points by pajop 422 days ago