|
|
863de69b3e
|
Fix theorem numbering
|
2018-11-20 22:12:36 +01:00 |
|
|
|
3dda0c55ed
|
Update theorem formatting
|
2018-11-20 20:08:47 +01:00 |
|
|
|
c8509dfb40
|
Add theorems and definitions formatting
|
2018-11-19 23:27:32 +01:00 |
|
|
|
3f578e8601
|
Add picture and links on the homepage
|
2018-11-19 19:44:12 +01:00 |
|
|
|
80947b72d9
|
Change CSS
|
2018-11-14 21:32:32 +01:00 |
|
|
|
15111fd8be
|
Add syntax highlighting
|
2018-11-13 22:48:11 +01:00 |
|
|
|
ff6d829468
|
Initial commit
|
2018-11-13 20:00:01 +01:00 |
|
