3 commits

Author	SHA1	Message	Date
Théophile Bastian	71c2a985d2	ROB proof: clarify, formalize	2024-06-22 16:40:42 +02:00
Théophile Bastian	ef62c3b7e5	Small backports from paper	2024-06-20 17:56:52 +02:00
Théophile Bastian	d4c08646c9	Add ROB proof	2024-06-19 20:42:32 +02:00