Hacker News new | ask | show | jobs
by burnt-resistor 363 days ago
https://github.com/CertiCoq/certicoq can prove (most of) itself.