Roast topics
Find topics
Find it!
Knuckledragger: Experimenting with a Python Proof Assistant | Hey There Buddo!
Something that I’m tinkering with is making a proof assistant in python.
| Hey There Buddo!
