Commit Graph

7 Commits

Author SHA1 Message Date
Denis Merigoux
42a46f417d Progress proven 2020-11-17 21:08:38 +01:00
Denis Merigoux
75562acb1b Checkpoint in proof 2020-11-17 15:54:56 +01:00
Denis Merigoux
88b45c7168 Progress in progress 2020-11-17 14:32:44 +01:00
Denis Merigoux
532365a707 Missing only the default case for progress 2020-11-17 12:15:44 +01:00
Denis Merigoux
891dccb6f8 Trying to prove progress 2020-11-17 11:01:09 +01:00
Denis Merigoux
076e2dce22 Finished writing stepper 2020-11-16 22:51:07 +01:00
Denis Merigoux
6bf935b8e9 Added beginning of F* formalization and fixed paper 2020-11-16 19:34:10 +01:00