User contributions for Lefessan
A user with 7 edits. Account created on 24 November 2014.
15 May 2024
- 13:5213:52, 15 May 2024 diff hist +397 Tezos Fix some dates, in particular when OCamlPro was contracted (March 2014) and when the Tezos Foundation was created (April 2017)
7 October 2020
- 16:0116:01, 7 October 2020 diff hist −2 m Tezos change block_time from 15s (wrong) to 1 minute (correct)
24 November 2014
- 14:3914:39, 24 November 2014 diff hist +31 m Alt-Ergo add url
- 14:3714:37, 24 November 2014 diff hist −28 Satisfiability modulo theories →SMT solvers
- 14:3414:34, 24 November 2014 diff hist +127 Alt-Ergo add categories
- 14:3214:32, 24 November 2014 diff hist +2,109 N Alt-Ergo initial page
- 14:1014:10, 24 November 2014 diff hist +4 Frama-C Add a link to Alt-ergo's page