Commit graph

3 commits

Author SHA1 Message Date
3b65229eae
Add information about formal verification 2020-03-29 19:03:49 +02:00
dc77d4bf61
Add labels and captions to listings 2020-03-27 14:20:22 +01:00
ed378c0917
Merge batman content 2020-03-23 14:02:38 +01:00