Event JSON
{
"id": "bd981e6f9c57dbe65209312d546028dc6681e81125200d0a04de74f583148fa2",
"pubkey": "0ebadbbd2e21b517c57bf776c8c24c54c532f6cfe6dcb6fa712fd8078c176cbd",
"created_at": 1765283923,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/danielgratzer/statuses/115689647214329302",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "Controlling unfolding in type theory has now been published 🎉 \n\nhttps://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/controlling-unfolding-in-type-theory/A2865261D18E29153AB7B0F2E89BA8C8",
"sig": "0dd9f3fdd61135ffcf2a480392382b2653d7d8de95bbbffcc1ba7a502e465112f94d28bf4152f7dddf9177b6c2f5310c8d24cdf3a2dc8dd55c2148652ba05a0f"
}
