search

adampetcher / fcf

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

Adapt to Coq/Coq#18164 #45

Closed Villetaneuse closed 10 months ago

Villetaneuse commented 10 months ago

@adampetcher sorry to bother you, this is needed to remove some Arith files.