[paper] final version
fix Makefile : coqdep (8.14) is picky and fails if file does not exists
Showing
- Makefile 19 additions, 16 deletionsMakefile
- README.md 5 additions, 3 deletionsREADME.md
- _CoqProject 0 additions, 10 deletions_CoqProject
- _CoqProject_ml 10 additions, 0 deletions_CoqProject_ml
- benchmark/Makefile 10 additions, 9 deletionsbenchmark/Makefile
- benchmark/pigeon_itauto.v 12 additions, 12 deletionsbenchmark/pigeon_itauto.v
- benchmark/pigeon_nitauto.v 74 additions, 0 deletionsbenchmark/pigeon_nitauto.v
- benchmark/pigeon_qed.pdf 0 additions, 0 deletionsbenchmark/pigeon_qed.pdf
- benchmark/pigeon_rtauto.v 7 additions, 1 deletionbenchmark/pigeon_rtauto.v
- benchmark/pigeon_tac.pdf 0 additions, 0 deletionsbenchmark/pigeon_tac.pdf
- benchmark/pigeon_tauto.v 1 addition, 0 deletionsbenchmark/pigeon_tauto.v
- benchmark/plot_qed 2 additions, 2 deletionsbenchmark/plot_qed
- benchmark/plot_tac 2 additions, 2 deletionsbenchmark/plot_tac
- opam 1 addition, 1 deletionopam
- paper/biblio.bib 30 additions, 38 deletionspaper/biblio.bib
- paper/itauto.tex 378 additions, 276 deletionspaper/itauto.tex
- paper/pdf 0 additions, 0 deletionspaper/pdf
- test-suite/arith.v 0 additions, 1 deletiontest-suite/arith.v
- theories/Itauto.v 15 additions, 1 deletiontheories/Itauto.v
Loading
Please register or sign in to comment