Commits · b8aba40a22946ce57553f2645d654fedd05789e9 · Arthur Azevedo de Amorim / stdpp

You need to sign in or sign up before continuing.

Sep 20, 2017
- Update for Coq 8.7 coq_makefile · 01d4aff9
  Ralf Jung authored 7 years ago
  
  01d4aff9
Mar 15, 2017
- Move Fin theory from vector.v to fin.v; improve inv_fin to match what inv_vec can do · 07d81355
  Ralf Jung authored 8 years ago
  
  07d81355
Feb 07, 2017
- Also support Coq 8.5pl3. · 10c2f692
  Robbert Krebbers authored 8 years ago
  
  10c2f692
Feb 06, 2017
- Move COQ FLAGS to _CoqProject. · 5052a548
  Robbert Krebbers authored 8 years ago
  
  5052a548
Feb 03, 2017
- Add makefiles and license. · 1ef65e1b
  Robbert Krebbers authored 8 years ago
  
  1ef65e1b