2 commits

Author	SHA1	Message	Date
Sander Hautvast	f6ebb5614b	Rename proof to proof.md	2024-02-06 10:24:23 +01:00
Sander Hautvast	d20c9c5b9f	Create proof	2024-02-06 10:23:16 +01:00