José A. Alonso on Nostr: An introduction to linters. ~ Damiano Testa. https://youtu.be/734jMwgjkkM #ITP ...
Published at
2025-01-15 10:30:48Event JSON
{
"id": "5e4a985deae35e7823566397e4447554851c3012d052ff7fd3ecb0646e1662d1",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736937048,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113831906418101363",
"activitypub"
]
],
"content": "An introduction to linters. ~ Damiano Testa. https://youtu.be/734jMwgjkkM #ITP #LeanProver",
"sig": "681226ec961b92d4ed81d19b8ffb297bb49e8fdd34b66f2694dd00e426c1ccd216fbd5fb315858f62cbe0a4fbebcbbbfaa373f81e9bc733fb092acc4a9ff2b55"
}
