Ask HN: Looking for a good course to learn proof assistant Lean 4

5 points | by rabarbers 14 hours ago