Aarne Ranta: Informath: Informalization of Formal Mathematics External Video-URL https://www.youtube.com/watch?v=UG6RUFS5esk Preview-Image Search Engine Exclude no
