Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Applicative Python a la ACL2 | Hey There Buddo!
https://www.philipzucker.com/applicative_python/
links
backlinks
Roast topics
Find topics
Find it!
I’ve been reading about ACL2, a theorem prover designed for common lisp. It has good automation and has been quite successfully applied to significant software/hardware verification and mathematics.
