1. 14
    State of Knuckledragger, a Semi-Automated Python Proof Assistant formalmethods python philipzucker.com
    ocramz avatar via ocramz 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments