José A. Alonso on Nostr: 'Lean-style' tactics in Knuckledragger. ~ Philip Zucker (@sandmouth.bsky.social). ...
Published at
2024-12-17 07:32:29 CETEvent JSON
{
"id": "cefd622a80f1f64456faae65356697e6e5b19d8bab54e601a5a896221171f86d",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1734417149,
"kind": 1,
"tags": [
[
"t",
"python"
],
[
"t",
"z3"
],
[
"t",
"smt"
],
[
"t",
"logic"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113666762284778489",
"activitypub"
]
],
"content": "'Lean-style' tactics in Knuckledragger. ~ Philip Zucker (@sandmouth.bsky.social). https://www.philipzucker.com/knuckle_lemma/ #Logic #SMT #Z3 #Python",
"sig": "54f9724e6177708da3420775e5beaf5ca97773310564b8e882b92b67e3147e05867ba98e84e97a3083344544f577a4dd0ecd9897f70933a3fadc22dd083c4b0c"
}
