Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 2be72fd16d Update README main augustin64 2024-05-20 20:59:14 +0200
• e8b6a8b686 Remove tests augustin64 2024-05-20 20:56:26 +0200
• 6151f6771a derniers changements du rapport et catch de Not_found Marwan 2024-05-20 16:32:29 +0200
• 8b3b135184 Fix Undo try augustin64 2024-05-20 15:03:50 +0200
• 6313af9346 Add more bad 8pus tests augustin64 2024-05-20 14:52:19 +0200
• e6680b181c Add comments for Undo, get_instr augustin64 2024-05-20 14:51:40 +0200
• b17a1c3662 Add more bad 8pus tests augustin64 2024-05-20 11:13:28 +0200
• d40f4081c4 Add bad 8pus files augustin64 2024-05-20 10:57:55 +0200
• 2c01cab197 Add tests.sh augustin64 2024-05-20 09:57:28 +0200
• 075aa267a7 tests de l'alpha équiv, commentaire de mon code Marwan 2024-05-19 20:44:07 +0200
• 4719e2c836 implémentation de la tactique Check pour envoyer la preuve à Coq Marwan 2024-05-17 21:28:02 +0200
• d3dcebdb88 renommage des tactiques, implémentation de la tactique try, suppression des tokens inutiles, etc.. Marwan 2024-05-17 14:14:28 +0200
• b1ccb0ad71 on force l'annotation sur le OU Marwan 2024-05-17 08:10:26 +0200
• cd7749fe34 fin du rapport Marwan 2024-05-16 12:49:29 +0200
• 17f989e97f Ajout slide fiabilité augustin64 2024-05-16 12:47:52 +0200
• b26ea09640 Split proof.ml with hlam.ml augustin64 2024-05-16 12:38:45 +0200
• 543da0b297 Add l, r augustin64 2024-05-16 12:31:06 +0200
• fcfdbdc068 \neg \neg A augustin64 2024-05-16 11:33:48 +0200
• 012a0ba06a Add presentation.tex augustin64 2024-05-16 11:30:40 +0200
• 9b8abf843d Update .gitignore augustin64 2024-05-16 11:30:13 +0200
• 4996209b05 fin du rapport, sujet à modification Marwan 2024-05-14 18:50:10 +0200
• 00c1a116d1 tactique apply généralisée, à commenter Marwan 2024-05-14 15:55:19 +0200
• b4ba9432cd Add a few tests augustin64 2024-05-14 15:23:58 +0200
• 84304e26dc Fix and & or augustin64 2024-05-14 15:23:44 +0200
• a42a34d307 Read .8pus files augustin64 2024-05-14 11:43:57 +0200
• 3bb8efcb8f avancement du rapport Marwan 2024-05-14 11:41:37 +0200
• 5ecf82920f début de correction d'apply généralisé Marwan 2024-05-14 11:41:10 +0200
• 63c468371f rapport initial Marwan 2024-05-13 18:29:50 +0200
• 215c51758d Fix partial match augustin64 2024-05-14 10:49:24 +0200
• 52ecb564fb apply généralisé Marwan 2024-05-10 18:40:33 +0200
• daa09cb58b Add Qed. augustin64 2024-05-13 18:05:28 +0200
• 8569fe1ba2 Add Undo command augustin64 2024-05-11 11:44:43 +0200
• 5f28463a37 e doit typecheck dans exact e pour que la tactique réussisse Marwan 2024-05-06 00:10:23 +0200
• 6817a895b2 Fix operators priority augustin64 2024-05-06 10:12:24 +0200
• 6251bb0b64 Add tactic split augustin64 2024-05-06 10:09:40 +0200
• 24f78f58cd Add tactics left and right augustin64 2024-05-05 20:45:55 +0200
• 8fc21a0988 Add "And" and "Or" augustin64 2024-05-05 20:33:39 +0200
• 0085a91251 Better errors & add colors augustin64 2024-05-01 11:07:40 +0200
• fc846d2233 Add tactic intros augustin64 2024-05-01 10:44:36 +0200
• 7c4def6e1e gracefully ignore invalid input augustin64 2024-05-01 10:35:12 +0200
• 486a788757 Parse exact term / proof augustin64 2024-04-30 11:58:29 +0200
• 20d4ee5531 on différencie exact pour les preuves et pour les termes Marwan 2024-04-30 11:56:41 +0200
• ced6846dbc tactique try et intro Marwan 2024-04-30 11:48:10 +0200
• 6063d33377 Add interactive proofs augustin64 2024-04-30 11:44:28 +0200
• 7195fc244f ajout du système de preuve et implémentation des tactiques exact, intro, cut et apply Marwan 2024-04-25 10:11:08 +0200
• 544a8bf093 on rend l'alpha conversion lisible en gardant les noms de variables Marwan 2024-04-25 04:33:42 +0200
• a87e2293b7 résolution des conflits Marwan 2024-04-25 04:20:12 +0200
• f1ff0628c4 je sais pas ce que je fais Marwan 2024-04-16 12:05:13 +0200
• 0b241c72c4 -alpha: take one input separated by & augustin64 2024-04-16 14:24:06 +0200
• 39ff2dbffc Add arguments to main.ml augustin64 2024-04-16 11:40:08 +0200
• 5af7419020 Fix alpha renaming augustin64 2024-04-16 10:40:50 +0200
• bc697b30a0 Merge branch augustin64 2024-04-16 10:30:10 +0200
• d299e38fe0 Add alpha_equiv augustin64 2024-04-16 10:23:44 +0200
• bd6dedc074 typage du exfalso, etc Marwan 2024-04-16 10:07:09 +0200
• 0b67d9a5eb types flèches et affichage des types Marwan 2024-04-15 12:07:49 +0200
• 262f0364b7 Ajout du Makefile augustin64 2024-04-09 11:41:54 +0200
• 8ba594ee3d Affichage des expressions augustin64 2024-04-09 11:30:52 +0200
• e2e80bf55c initial commit Marwan 2024-04-09 11:09:33 +0200