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