summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-16 22:19:34 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-16 22:19:34 +0100
commit7b5f152d4abc26ebe068d4296bb3e9986079b488 (patch)
tree8601fe8dcbbb617a17a9572cb361669548bc7586 /vc
parent56663f84db4f3b78c8afb93c8742b573822485d5 (diff)
downloadinf110-lfi-7b5f152d4abc26ebe068d4296bb3e9986079b488.tar.gz
inf110-lfi-7b5f152d4abc26ebe068d4296bb3e9986079b488.tar.bz2
inf110-lfi-7b5f152d4abc26ebe068d4296bb3e9986079b488.zip
Give the proof in Coq as well.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions