Event JSON
{
"id": "03e007f052f8de3daf7ce9b26f917521b5742bc924e6a9ef5d1f2696fa8abe00",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1734621475,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113680153012083175",
"activitypub"
]
],
"content": "A formalization of sequent calculus for classical implicational logic. ~ Frederik Krogsdal Jacobsen, Jørgen Villadsen. https://backend.orbit.dtu.dk/ws/portalfiles/portal/383716082/Isabelle_2024_paper_5.pdf #ITP #IsabelleHOL #Logic",
"sig": "7bb47653ddf3a48522f20070ff0cacb77cdf0ba688070e739cd9effc5d88e9ed8e4a625d35901ab897dc2137af4bcf8bba243ded59f8a45c0edaf9eb4390a4ad"
}
