index
:
soap.coffee/lthms.git
main
Personal website of lthms
Thomas Letan
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
site
/
posts
/
StronglySpecifiedFunctionsProgram.v
Age
Commit message (
Collapse
)
Author
2023-05-13
The great rewrite of 2023
Thomas Letan
2022-08-13
Fix two types reported by Wojciech Karpiel
Thomas Letan
2021-03-28
2021 Spring redesign
Thomas Letan
2020-10-30
Reword the titles of the “Strongly-Specified Functions”’s articles
Thomas Letan
2020-10-10
Create a summary page for the strongly-specified functions series
Thomas Letan
2020-07-14
Prepare the introduction of a RSS feed
Thomas Letan
2020-02-23
Give up on clean URLs
Thomas Letan
2020-02-19
Do not use raw HTML for the titles of Coq posts
Thomas Letan
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