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

by rabarbers | Nov 14, 2025 | 4 comments on HN