search

adampetcher / fcf

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

Minor cleaning #29

Closed vbgl closed 5 years ago

vbgl commented 5 years ago

See wise comment from Samuel about the use of intuition: https://github.com/mit-plv/kami/pull/13#issuecomment-548435014

This is an overlay for https://github.com/coq/coq/pull/11018