GitHub repository: matteobusi/stv
Primary language: Coq
Created: 2020-11-16T18:12:58Z
Description: Coq development for secure translation validation