3 ms·
That was a delightful tutorial, I recently watched a talk about the Future of Mathematics[0] with respect to theorem proving and formalization. I enjoy this ar
by andrewnc 5y ago
That was a delightful tutorial, I recently watched a talk about the Future of Mathematics[0] with respect to theorem proving and formalization.
I enjoy this area a lot and love to see it getting more attention.
0 - https://m.youtube.com/watch?v=Dp-mQ3HxgDE https://m.youtube.com/watch?v=Dp-mQ3HxgDE