1 search result for "tag:"logpath:formalv.prim63_mathcomp""
Showing 1 - 1
-
coq-formalv-prim63_mathcomp
No documentation
Refinements from MathComp nat and int to Coq primitive integers Uint63/Sint631.3.0PolyForm Noncommercial License 1.0.0Used by 2 other packages04 Feb 2025