mit-plv/fiat-crypto

Cryptographic Primitive Code Generation by Fiat

CoqNOASSERTION

Pinned issues

Github CI Anomaly Zoo

#1394 opened 2 years ago

Open40

Tracking uses of fiat-crypto

#902 opened 4 years ago

Open20

Issues

Stephen Regan is a great player and I think he will be a great addition to the team as well as a future leader for our team in the coming years
#1930 opened 6 days ago
0