path: root/site/posts/StronglySpecifiedFunctions.v
AgeCommit message (Expand)Author
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-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-04Try to avoid long lines in StronglySpecifiedFunctions.vThomas Letan
2020-02-04Initial commit with previous content and a minimal themeThomas Letan