Galois Blog company blog
Proofs Should Repair Themselves
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
- Points
- 115
- HN comments
- 27
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringAI & Machine Learning2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 25, 2021 | Proofs Should Repair Themselves by harperlee | 115 | 27 |
