José A. Alonso on Nostr: Verified and optimized implementation of orthologic proof search. ~ Simon Guilloud, ...
Verified and optimized implementation of orthologic proof search. ~ Simon Guilloud, Clément Pit-Claudel.
https://arxiv.org/abs/2501.09418 #ITP #Coq #Rocq #Logic
Published at
2025-01-17 07:38:16 UTCEvent JSON
{
"id": "4a20afe1c3cd5e5e6f9ea6775a5dc21357f47225212d44ecf619c90e02fad4ed",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737099496,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113842552604347063",
"activitypub"
]
],
"content": "Verified and optimized implementation of orthologic proof search. ~ Simon Guilloud, Clément Pit-Claudel. https://arxiv.org/abs/2501.09418 #ITP #Coq #Rocq #Logic",
"sig": "e0a110d3bbeaf904a7a9cdb92b010e5a0ed78c039a6162c4cfaf1e42802c16f9dd7438f650c992ae6b7a9536700627f9d25895f79465b70d0808c78af2b320ca"
}
