5 Commits

Author	SHA1	Message	Date
Marwan	6151f6771a	derniers changements du rapport et catch de Not_found	2024-05-20 16:32:42 +02:00
Marwan	b1ccb0ad71	on force l'annotation sur le OU	2024-05-17 08:10:26 +02:00
augustin64	84304e26dc	Fix and & or	2024-05-14 15:23:44 +02:00
Marwan	5f28463a37	e doit typecheck dans exact e pour que la tactique réussisse	2024-05-06 13:21:33 +02:00
Marwan	bd6dedc074	typage du exfalso, etc	2024-04-16 10:07:09 +02:00