3 commits

Author	SHA1	Message	Date
Nicolas Huber	6149116bda	fix: added missing "/" to proof notation template	2021-06-10 14:52:31 +02:00
Yarmo Mackenbach	f084ec9761	Fix pre code in guides	2021-03-31 14:54:54 +02:00
Yarmo Mackenbach	72f3579842	Move guides to different folder	2020-08-28 01:35:48 +02:00

Renamed from guides/github.md (Browse further)