search

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
271 stars 55 forks source link

Use Coq 8.19 #835

Closed vbgl closed 5 months ago

vbgl commented 5 months ago

The first commit is unrelated but might not deserve its own PR.