Post #2781482
2026-05-23 00:17 UTC
:dragncoolmlem_hacker:
Replies (5)
-
@ionchy@types.pl 2026-05-23 00:19
#hopecore
-
@Zeeshan_Ahmad@mathstodon.xyz 2026-05-23 08:39
@ionchy@types.pl (certainly a naïve question) but how do I start?
-
@nemo@camp.crates.im 2026-05-23 09:07
@ionchy@types.pl :flan_hacker:
-
@tranquillity@mastodon.minionflo.net 2026-05-23 15:05
@ionchy@types.pl CoqIDE spotted in the wild
-
@butchrobot@shork.nerdmusic.net 2026-05-23 17:46
@ionchy@types.pl proof assistants are SO COOL! when I first learned about them from some Terry Tao video I was like, oh wow, I studied the right thing :)