8 Commits

Author	SHA1	Message	Date
augustin64	6251bb0b64	Add tactic split	2024-05-06 10:09:40 +02:00
augustin64	24f78f58cd	Add tactics left and right	2024-05-05 20:45:55 +02:00
augustin64	8fc21a0988	Add "And" and "Or"	2024-05-05 20:33:39 +02:00
augustin64	fc846d2233	Add tactic intros	2024-05-01 10:44:36 +02:00
augustin64	6063d33377	Add interactive proofs	2024-04-30 11:44:28 +02:00
Marwan	bd6dedc074	typage du exfalso, etc	2024-04-16 10:07:09 +02:00
augustin64	8ba594ee3d	Affichage des expressions	2024-04-09 11:30:52 +02:00
Marwan	e2e80bf55c	initial commit	2024-04-09 11:09:33 +02:00