experiment
/
coq-ssh
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
coq-ssh/Extract.v

6 lines
104 B
Coq
Raw Permalink Blame History

From Coq Require Extraction.
Require CSSH.
Extraction "SSH" SSH.
Extraction "CryptoPrims" CryptoPrims.
Reference in New Issue View Git Blame Copy Permalink