Collapse file tree

Files

 master

Search this repository

/

BigZ

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

andres-erbsen

adapt to rocq-prover/rocq#19801 (deprecation of ZArith_base, Zeq_bool)

failure

Jan 7, 2025

0b1a1b2 · Jan 7, 2025

History

History

Open commit details

/

BigZ

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
BigZ.v		BigZ.v	adapt to rocq-prover/rocq#19801 (deprecation of ZArith_base, Zeq_bool)	Jan 7, 2025
ZMake.v		ZMake.v	Address some deprecation warnings	Dec 7, 2024
View all files