summaryrefslogtreecommitdiffstats
path: root/site/posts/RewritingInCoq.v
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-04 21:46:13 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-04 21:46:13 +0100
commitcdba2c81167350e5191a3518af12e8961732acf3 (patch)
treeb8088f7dbd2158979451a51b2c0c0573923d8907 /site/posts/RewritingInCoq.v
parente75daaf6d0e19b731d978a3bc05c243f7b8b6157 (diff)
Rework StronglySpecifiedFunctionsProgram.v
Diffstat (limited to 'site/posts/RewritingInCoq.v')
0 files changed, 0 insertions, 0 deletions