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