Commit graph

2 commits

Author SHA1 Message Date
d386e31743 use cleveref 2020-05-13 10:37:16 +02:00
f4496ba3ef move results to latex and introduce a result macro 2020-04-07 17:08:00 +02:00