Jasmin

github.comtool

Formalized language and verified compiler for high-assurance and high-speed cryptography.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Verified Software: “Formalized language and verified compiler for high-assurance and high-speed cryptography.”