summaryrefslogtreecommitdiffstats
path: root/site/posts/RewritingInCoq.v
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2021-02-24 13:50:57 +0100
committerThomas Letan <lthms@soap.coffee>2021-02-24 13:50:57 +0100
commit1a197fb354a82a31deca4f9b118f057bbd0038b6 (patch)
treeff1c6d56b0ae99de4fbd72375afd27db97e54359 /site/posts/RewritingInCoq.v
parent64c09ae2326ced1ea154bfd3b02f633a3dccc4e0 (diff)
Release of coqffi 1.0.0~beta4
Diffstat (limited to 'site/posts/RewritingInCoq.v')
0 files changed, 0 insertions, 0 deletions