Tariq on Nostr: I'm developing a #Lean4 for #maths proofs course .. .. designed specifically to ease ...
Published at
2024-09-17 12:14:12Event JSON
{
"id": "5c0dbad25916275c38fda59e03fd0b39e5d5921c3544f53e09c737f0051340fb",
"pubkey": "340694a5c7115fe0918fe7ec9038786592e3804f1a0e457e3e09d03ecfdadc6b",
"created_at": 1726575252,
"kind": 1,
"tags": [
[
"t",
"lean4"
],
[
"t",
"maths"
],
[
"proxy",
"https://mastodon.social/users/rzeta0/statuses/113152835732754369",
"activitypub"
]
],
"content": "I'm developing a #Lean4 for #maths proofs course ..\n\n.. designed specifically to ease learning the very basics with intentionally simple clear examples.\n\n ⭐️ \"by beginners, for beginners\" ⭐️\n\njoin us as on our journey..\n\n🎬 youtube: https://www.youtube.com/@LeanFirstSteps/videos\n\n📚 blog: https://leanfirststeps.blogspot.com\n\nhttps://files.mastodon.social/media_attachments/files/113/152/829/804/823/861/original/280160ab1f725d54.png",
"sig": "e97f0a933539e834bf96284fca5efc11fc4475ea9ba0c5dfaeb7458f2f065d6f5cf82b08d9bc4a8b57b2f3f05c7c98a608affbbe53888f06565c52c23b9ca4c6"
}
