3 ms·
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.
by rcxdude 1y 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.