path: root/site/posts/StronglySpecifiedFunctionsProgram.v
AgeCommit message (Expand)Author
10 daysCreate a summary page for the strongly-specified functions seriesHEADmasterThomas Letan
2020-07-14Prepare the introduction of a RSS feedThomas Letan
2020-02-23Give up on clean URLsThomas Letan
2020-02-19Do not use raw HTML for the titles of Coq postsThomas Letan
2020-02-18Fix coding style in Strongly-Specified Functions part 2Thomas Letan
2020-02-18Do not extract Coq terms in Strongly-Specified Functions part 2Thomas Letan
2020-02-16Automatically generate a revision table from git historyThomas Letan
2020-02-14Fix spelling errorThomas Letan
2020-02-14Rework the introduction of the strongly-specified functions serieThomas Letan
2020-02-04Change the date formatThomas Letan
2020-02-04Rework StronglySpecifiedFunctionsProgram.vThomas Letan
2020-02-04Initial commit with previous content and a minimal themeThomas Letan