José A. Alonso on Nostr: Resolution prover in Rust. ~ Wanda Rosmus. ...
Resolution prover in Rust. ~ Wanda Rosmus. https://kondylidou.github.io/assets/pdf/BA-wanda.pdf #Logic #ATP #RustLang
José A. Alonso /
npub1pma…v8pw
2024-11-14 10:18:27
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-11-14 10:18:27Event JSON
{
"id": "b87d866f24ccfaa44a1ad28f98cab5ec073c011b4c28aecf3bcefb178749d781",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731579507,
"kind": 1,
"tags": [
[
"t",
"rustlang"
],
[
"t",
"atp"
],
[
"t",
"logic"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113480794576875002",
"activitypub"
]
],
"content": "Resolution prover in Rust. ~ Wanda Rosmus. https://kondylidou.github.io/assets/pdf/BA-wanda.pdf #Logic #ATP #RustLang",
"sig": "f96a27ff810e48693ee5795d3d1f1777cf52a2056c00c8d161ea8cebeacbc0e8f17994b892b38fa3ea8815dd6319490bbde650c3c28c635c09351c103bfe62fe"
}