Login
Roast topics
Find topics
Find it!
From:
Hey There Buddo!
(Uncensored)
subscribe
Knuckledragger: Experimenting with a Python Proof Assistant | Hey There Buddo!
https://www.philipzucker.com/python-itp/
links
backlinks
Roast topics
Find topics
Roast it!
Something that I’m tinkering with is making a proof assistant in python.