Knuckledragger: Experimenting with a Python Proof Assistantphilipzucker.com3 pointsmathgenius2 years ago