Dossier
imperialviolet.org
Coverage of imperialviolet.org in the Nexus archive.
- 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.