3 Commits

Author	SHA1	Message	Date
Yannick Reiß	8da2a2b27e	Addition to proof of correctness	2023-10-04 10:06:58 +02:00
Yannick Reiß	61baa3ebfc	Proof	2023-09-24 08:51:16 +02:00
Yannick Reiß	e0c7116486	Proof of memory safety in main function.	2023-09-23 16:10:26 +02:00