State of Knuckledragger, a Semi-Automated Python Proof Assistant (via ocramz) — discussion
#formalmethods #python
