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

4 points | by rabarbers 7 hours ago

No comments yet.