Cryptographic Primitive Code Generation by Fiat
created at Sept. 10, 2015, 8:29 p.m.
55 +0
690 +2
143 -1
Mostly Automated Synthesis of Correct-by-Construction Programs
created at April 23, 2015, 2:54 a.m.
9 +0
145 +0
33 +0
RISC-V Specification in Coq
created at June 22, 2018, 3:09 p.m.
15 +0
99 +0
17 +0
Bedrock Bit Vector Library
created at Feb. 4, 2018, 5:37 p.m.
16 +0
27 +0
25 +0