search

adampetcher / fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.
Other
48 stars 23 forks source link

Automatically build github branches on travis.ci #10

Closed andres-erbsen closed 7 years ago

andres-erbsen commented 7 years ago

This is on top of #13

For this to work properly, you would need to