Human in the loop automated formal verifier
All opinions are my own
Not a professional account
IRL: Markus de Medeiros (he/him)
OLD ACCT.:
https://types.pl/@markusdeSHITPOSTING ACCT.: You'll never find it
Published at
2024-07-07 02:50:10Event JSON
{
"id": "50507fa6f6e79c779f068405c7babd57a6ebe7c21bbe8182b6ac3b60e1957e68",
"pubkey": "d49e30ef9cf7ab229c948ac4146c4c82858d54be1392d2e5ea2a77891cbd6e96",
"created_at": 1720320610,
"kind": 0,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/markusde",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/markusde",
"pink.momostr"
],
[
"expiration",
"1722912610"
]
],
"content": "{\"name\":\"Classical Proover\",\"about\":\"Human in the loop automated formal verifier \\n\\nAll opinions are my own \\n\\nNot a professional account\\n\\nIRL: Markus de Medeiros (he/him)\\nOLD ACCT.: https://types.pl/@markusde\\nSHITPOSTING ACCT.: You'll never find it\\n\",\"website\":\"https://mathstodon.xyz/@markusde\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/109/348/375/625/542/944/original/821491c887bb97b2.jpeg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/109/348/375/625/542/944/original/2c0708d3cdcf4d39.jpeg\",\"nip05\":\"markusde_at_mathstodon.xyz@momostr.pink\"}",
"sig": "8002c7d4f1e155ce1a802de49bcaec051a631d7fd8f914c3556e4b73c52b612c6b1b6031021697c363958c46caeec3c002a9c3a53f36b1f01c5aec2c9bfb98f9"
}
