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

5 points | by rabarbers 13 hours ago ago

No comments yet.