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

#formalmethods #python