Universität Bonn

William Farmer: An Alternative Approach to Formal Mathematics that Prioritizes Communication over Certification

External Video-URL https://www.youtube.com/watch?v=8M6FE-fCMjI
Preview-Image
Search Engine
Exclude no
Wird geladen