Georges Gonthier: Programming Mathematics: Tools and Challenges External Video-URL https://www.youtube.com/watch?v=fc5crdT3u_U Preview-Image Search Engine Exclude no
