summaryrefslogtreecommitdiff
path: root/backends/fstar
diff options
context:
space:
mode:
authorSon Ho2022-11-16 15:34:27 +0100
committerSon HO2022-11-16 15:45:32 +0100
commitbbdd0da25b974b03d58489d3bbc2654f4f774644 (patch)
treed95f882effb9e0a576ab396f7741c2f4a42dc0c9 /backends/fstar
parent08530a51b8861e3dbb1a409d0c6f0e8c44adec83 (diff)
Add a nix derivation for the Coq proofs
Diffstat (limited to 'backends/fstar')
0 files changed, 0 insertions, 0 deletions