Forked from
BESSON Frederic / itauto
61 commits behind the upstream repository.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| Makefile | ||
| compare.ml | ||
| pigeon_hole.v | ||
| pigeon_itauto.v | ||
| pigeon_nitauto.v | ||
| pigeon_qed.pdf | ||
| pigeon_rtauto.v | ||
| pigeon_tac.pdf | ||
| pigeon_tauto.v | ||
| plot_qed | ||
| plot_tac | ||