Commit b370692e authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more metadata for KRMT

parent 56041db3
Pipeline #4381 passed with stage
in 2 minutes and 2 seconds
......@@ -29,7 +29,9 @@ project-like. The contents are split between
Materials:
* [KRMT on StudOn](https://www.studon.fau.de/crs4499012.html)
* [Course Notes, Hausaufgaben](http://kwarc.info/teaching/KRMT)
* [Course on zoom](https://fau.zoom.us/j/65839665250)
* [Videos on FAU.tv](https://www.fau.tv/course/id/3065)
* [Course Notes, Resources](http://kwarc.info/teaching/KRMT)
* [Formalization Tutorialz](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
* [Formalizations of the last years](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment