Lucien RAKOTOMALALA (05b2ef0c) at 27 Jan 09:39
Add files case.v and correct computation in NC file
Lucien RAKOTOMALALA (77e7dbe0) at 22 Oct 17:19
Add files case.v and correct computation in NC file
Lucien RAKOTOMALALA (a3817afc) at 11 Oct 13:56
Renaming case files
Lucien RAKOTOMALALA (0ee7cda1) at 03 Oct 16:10
Update old names
Lucien RAKOTOMALALA (0e1ed3d0) at 27 Sep 09:03
Fix incompleteness bug of sequpp_leb
Lucien RAKOTOMALALA (abd7f238) at 24 Sep 15:05
Renaming variables and Add min with delta 0 in all deconvolutions.
... and 2 more commits
Lucien RAKOTOMALALA (5f8d9c0f) at 17 Sep 07:06
Merge branch 'master' of https://gitlab.mpi-sws.org/proux/nc-coq
... and 2 more commits
Lucien RAKOTOMALALA (7d25d43b) at 20 Apr 15:53
WIP