Event JSON
{
"id": "fabc99e1f5841209b3c9f8a2b7261b258c167e75fda2d21cb8a88dab1df112e6",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723809017,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"elm"
],
[
"t",
"haskell"
],
[
"t",
"math"
],
[
"t",
"ssreflect"
],
[
"t",
"coq"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112971547756988303",
"activitypub"
]
],
"content": "Readings shared August 15, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/16-readings_shared_08-15-24/ #ITP #IsabelleHOL #Coq #SSReflect #Math #Haskell #Elm #FunctionalProgramming",
"sig": "8b741a62ec06be5f9010dda9ef7eb55d1113e59d69be847caf3e6ab8c27197c705b8be2f37c517a25b6ef3f16717fa39107acc821b1b7eceb04b81acde0f767c"
}
