Knuckledragger – A Python Experiment on Proof Assistancehttps://www.philipzucker.com/python-itp/ by uyasarkocal • 3 years ago 1 0 3 years agoPHphilipzucker.com