Skip to content
Commit f4914d4e authored by Théo Zimmermann's avatar Théo Zimmermann Committed by Vincent Laporte
Browse files

bignums: init at various versions 

Bignums used to be part of the standard library of Coq.
We provide a version for Coq 8.6, and one for Coq 8.7.
parent 585e9cca
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment