Commit graph

2 commits

Author SHA1 Message Date
Yarmo Mackenbach
5d3781398d Improve proof snippets 2020-07-16 12:57:12 +02:00
Yarmo Mackenbach
e6a62d453d Add discourse guide 2020-07-06 11:51:10 +02:00