https://github.com/mit-plv/fiat-crypto
Revision bccc816588177326db20bac6abeae78134e0f880 authored by Frank Denis on 28 June 2021, 23:29:17 UTC, committed by Jason Gross on 01 July 2021, 01:26:46 UTC
1 parent 3d7c408
History
Tip revision: bccc816588177326db20bac6abeae78134e0f880 authored by Frank Denis on 28 June 2021, 23:29:17 UTC
inversion/zig: remove redundant comptime
Tip revision: bccc816
File Mode Size
workflows
coq.json -rw-r--r-- 574 bytes

back to top