Links
- https://www.uni-bonn.de/
- https://www.uni-bonn.de/fakultaeten
- https://www.mathematics.uni-bonn.de/en/@@search#
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=840&sort_on=relevance
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=840&sort_on=Date&sort_order=reverse
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=840&sort_on=sortable_title
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_3_video/workshop_libraries_digital_math
- https://www.mathematics.uni-bonn.de/him/video-recordings
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_3_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/frederic-blanqui-translating-hol-light-proofs-to-coq
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_3_video
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_3_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_3_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/mario-carneiro-metamath-zero-export-your-logic
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_3_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/fabian-huch-math-libraries-in-itps
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_3_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/aarne-ranta-building-grammar-libraries-for-mathematics-and-avoiding-manual-work
- https://www.mathematics.uni-bonn.de/en/news/copy_of_cole-prize-fuer-jessica-fintzen
- https://www.mathematics.uni-bonn.de/en/news
- https://www.mathematics.uni-bonn.de/en/news/copy_of_cole-prize-fuer-jessica-fintzen/viehmann.jpeg/view
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_ws_3_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/michael-kohlhase-flexiformal-math-libraries-collecting-organizing-more-than-def-thm-proof
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_seminar_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/mauricio-ayala-rincon-formalisation-of-nominal-equations-reasoning-in-pvs
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_seminar_video
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_seminar_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations
- https://www.mathematics.uni-bonn.de/him/video-recordings/tp_2024_02_seminar_video/workshop-asymptotics-of-random-convex-sets-fluctuations-and-large-deviations/james-mckinna-reflections-on-a-career-with-in-type-theory-for-formalised-computer-science-math
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=830&sort_on=relevance
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=0&sort_on=relevance
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=810&sort_on=relevance
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=820&sort_on=relevance
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=850&sort_on=relevance
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=860&sort_on=relevance
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=870&sort_on=relevance
- https://www.mathematics.uni-bonn.de/en/@@search?b_start%252525252525252525252525253Aint=2420&b_start:int=2520&sort_on=relevance