The Future of Formalized Mathematics
menu
News
People
Former Members
Research
Formal Methods
Structural Semantics
Services, KM & Interaction
Semantization
Bibliography
Systems
Orphaned Systems
Historic Systems
Projects
Completed Projects
Courses & Theses
Overview (D)
Former Courses
Upcoming Courses
Thesis Topics & Projects
Completed Theses
Events
Hiring
Contact
The Future of Formalized Mathematics
by
PD Dr. Florian Rabe
on
23 Jan 2023
in
Announcements
Florian Rabe
gives
colloquium talk
at the
Hausdorff Center of Mathematics
in Bonn.
PD Dr. Florian Rabe