Hacker News new | ask | show | jobs
by rcxdude 320 days ago
No, some of the harder work has been done. Translating human-readable proofs into machine-readable ones is also very hard work and an area of active research.