Activité
Du 06/05/2017 au 04/06/2017
18/05/2017
- 12:27 Révision 270: completeness proof : changed case z \neq 0 in the formula for predicative minimisa...
11/05/2017
- 11:11 Révision 269
08/05/2017
- 22:07 Révision 268
- 02:00 Révision 267
07/05/2017
- 11:13 Révision 266: .
06/05/2017
- 16:18 Révision 265
- 16:02 Révision 264: .
- 15:57 Révision 263: proofs of example 20
Formats disponibles : Atom