Hacker News new | ask | show | jobs
by mkl 1828 days ago
Yes, but that's a totally different category of problem from what proof assistants do.