Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
