DossierENTITY

proof automation

Coverage of proof automation in the Nexus archive.

Earliest in view: Jul 26 · 20:53 UTCMost recent: Jul 26 · 20:53 UTC

Co-mentioned in this coverage

Recent coverage

TECHNOLOGYJul 26 · 20:53 UTCHACKER NEWS
We have proof automation now
The article announces the development of proof automation, a technological advancement discussed on the blog imperialviolet.org. It references a specific blog post and Hacker News comments thread but provides no further technical details.