Login
From:
Hey There Buddo!
(Uncensored)
subscribe
‘Lean-style’ Tactics in Knuckledragger | Hey There Buddo!
https://www.philipzucker.com/knuckle_lemma/
links
backlinks
I’ve continued tinkering with Knuckledragger, my Z3 powered python proof assistant.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
