Article URL: https://leanprover-community.github.io/blog/posts/FLT-announcement/
Comments URL: https://news.ycombinator.com/item?id=40214453
Points: 16
# Comments: 2
https://leanprover-community.github.io/blog/posts/FLT-announcement/
Établi
21d
|
1 mai 2024 à 04:20:13
Connectez-vous pour ajouter un commentaire
Autres messages de ce groupe
Article URL: https://ificl.github.io/images-that-sound/
Comments URL: https:
Article URL: https://github.com/norton120/educator-tools-87
Article URL: https://matthewstrom.com/writing/ui-density/
Comments URL: ht