8000 Commits · rocq-community/bignums · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jan 25, 2025

Commits on Dec 8, 2024

Merge pull request #96 from coq-community/rm_deprecations
proux01
authored

Commits on Dec 7, 2024

Address some deprecation warnings
proux01
committed

Commits on Jul 23, 2024

Commits on Jun 20, 2024

chore: Add dedicated CI test using coqorg/base (from v8.20 branch)
erikmd
committed

Commits on Apr 16, 2024

Merge pull request #90 from andres-erbsen/remove-Ndigits
proux01
authored

Commits on Apr 15, 2024

do not depend on Ndigits
andres-erbsen
committed

Commits on Feb 16, 2024

fix(CI): Remove coq-bignums beforehand & Ensure `make -C tests` runs after `make install` (#87)

proux01
and
erikmd
authored

Commits on Dec 30, 2023

Commits on Nov 13, 2023

Merge pull request #83 from ppedrot/glob-evar-kinds
SkySkimmer
authored

Commits on Nov 10, 2023

Adapt w.r.t. coq/coq#18294.
ppedrot
committed

Commits on Oct 30, 2023

Merge pull request #82 from herbelin/master+adapt-17205-qed-on-let-deprecated
proux01
authored

Commits on Oct 29, 2023

Adapt the various "Let" with Qed
herbelin
committed

Commits on Jul 5, 2023

Commits on May 3, 2023

0