Révision :

Révisions

# Date Auteur Commentaire
245 29/04/2017 15:08 Anupam Das
244 29/04/2017 14:56 Anupam Das
243 29/04/2017 14:55 Patrick Baillot

.
242 29/04/2017 14:50 Patrick Baillot

.
241 29/04/2017 14:37 Patrick Baillot

basic functions
240 29/04/2017 14:36 Anupam Das
239 29/04/2017 14:28 Anupam Das
238 29/04/2017 14:26 Anupam Das
237 29/04/2017 14:24 Patrick Baillot

predicate 0BIT in sect 3.1
236 29/04/2017 14:18 Anupam Das
235 29/04/2017 14:08 Anupam Das
234 29/04/2017 13:55 Anupam Das
233 29/04/2017 13:45 Anupam Das

done with completeness
232 29/04/2017 13:43 Patrick Baillot

.
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
221 29/04/2017 01:40 Anupam Das

« Précédent 1 2 3 4 ... 11 Suivant » (26-50/270) | Par page : 25, 50, 100

Formats disponibles : Atom