GitHub repository: JoaoDiogoDuarte/X25519-Libjc-EasyCrypt-Proof
Primary language: eC
Created: 2024-05-17T17:44:17Z
Description: Bringing some libjc X25519 Jasmin-Easycrypt proofs up-to-date (WIP).