4 Commits

Author	SHA1	Message	Date
augustin64	e6680b181c	Add comments for Undo, get_instr	2024-05-20 14:51:40 +02:00
Marwan	075aa267a7	tests de l'alpha équiv, commentaire de mon code	2024-05-19 20:44:07 +02:00
Marwan	b1ccb0ad71	on force l'annotation sur le OU	2024-05-17 08:10:26 +02:00
augustin64	b26ea09640	Split proof.ml with hlam.ml	2024-05-16 12:38:45 +02:00