allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-30 17:16:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/coq/CoreFormalism
History
Exact
allaun 069e54d8e9 fix(coq): migrate all files to Rocq 9.0 imports (ZCompat, no ZArith) 
All 5 Coq files now use:
  From Corelib Require Import BinNums PosDef NatDef IntDef.
  Require Import SilverSight.coq.ZCompat.

instead of Require Import ZArith Lia.

Build: 5 Coq files, 0 errors
2026-07-01 23:21:29 -05:00
..
.lia.cache fix(avm-ports): align all 3 ports with Lean reference 2026-06-30 17:37:01 -05:00
.Q16_16.aux feat(avm-ports): port AVM ISA to all 12 scientific languages 2026-06-30 17:42:38 -05:00
Q16_16.glob feat(avm-ports): port AVM ISA to all 12 scientific languages 2026-06-30 17:42:38 -05:00
Q16_16.v fix(coq): migrate all files to Rocq 9.0 imports (ZCompat, no ZArith) 2026-07-01 23:21:29 -05:00
Q16_16.vo feat(avm-ports): port AVM ISA to all 12 scientific languages 2026-06-30 17:42:38 -05:00
Q16_16.vok feat(avm-ports): port AVM ISA to all 12 scientific languages 2026-06-30 17:42:38 -05:00
Q16_16.vos feat(avm-ports): port AVM ISA to all 12 scientific languages 2026-06-30 17:42:38 -05:00