Statistiques
| Révision :

root @ 231

Nom Taille Révision Âge Auteur Commentaire
  CSL16 203 plus de 8 ans Patrick Baillot intro revised (in progress)
  CSL17 231 plus de 8 ans Patrick Baillot .
  CharacterizingPH 186 plus de 8 ans Anupam Das
  SOUMISSION_DICE 1 plus de 9 ans Patrick Baillot est
aef.tex 4 octet 13 plus de 9 ans Patrick Baillot I added a few dfitinions and statement of main ...

Dernières révisions

# Date Auteur Commentaire
231 29/04/2017 13:40 Patrick Baillot

.
230 29/04/2017 13:22 Anupam Das

fixed other basic axioms
229 29/04/2017 13:08 Anupam Das

done first pass
228 29/04/2017 12:24 Anupam Das
227 29/04/2017 12:04 Anupam Das

done with arithmetic
226 29/04/2017 11:21 Patrick Baillot

.
225 29/04/2017 10:46 Anupam Das

done with soundness
224 29/04/2017 10:44 Patrick Baillot

Added the completeness proof sketch
223 29/04/2017 02:02 Anupam Das

down to 12 pages
222 29/04/2017 02:00 Anupam Das

Voir toutes les révisions | Voir les révisions

Formats disponibles : Atom