3 Commits

Author	SHA1	Message	Date
Marwan	4719e2c836	implémentation de la tactique Check pour envoyer la preuve à Coq	2024-05-17 21:28:02 +02:00
augustin64	0b241c72c4	-alpha: take one input separated by &	2024-04-16 14:24:06 +02:00
Marwan	e2e80bf55c	initial commit	2024-04-09 11:09:33 +02:00