Age | Commit message (Expand) | Author |
---|---|---|
2020-02-18 | Fix coding style in Strongly-Specified Functions part 2 | Thomas Letan |
2020-02-18 | Do not extract Coq terms in Strongly-Specified Functions part 2 | Thomas Letan |
2020-02-16 | Automatically generate a revision table from git history | Thomas Letan |
2020-02-14 | Fix spelling error | Thomas Letan |
2020-02-14 | Rework the introduction of the strongly-specified functions serie | Thomas Letan |
2020-02-04 | Change the date format | Thomas Letan |
2020-02-04 | Rework StronglySpecifiedFunctionsProgram.v | Thomas Letan |
2020-02-04 | Initial commit with previous content and a minimal theme | Thomas Letan |