path: root/site/posts/StronglySpecifiedFunctionsProgram.v
AgeCommit message (Expand)Author
2023-05-13The great rewrite of 2023Thomas Letan
2022-08-13Fix two types reported by Wojciech KarpielThomas Letan
2021-03-282021 Spring redesignThomas Letan
2020-10-30Reword the titles of the “Strongly-Specified Functions”’s articlesThomas Letan
2020-10-10Create a summary page for the strongly-specified functions seriesThomas 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