OH: The formal theory solvers called Coq, Peni·s, and WANG
1 Boost
0 Likes
Install bonfire.cafe
Get the full app experience
1
Tap
Share
2
Add to Home Screen
@kookie Related mathematics: https://en.wikipedia.org/wiki/Cox%E2%80%93Zucker_machine
Cox–Zucker machine