Repository navigation

V2.3.0 - #50

Closed

aleksnanevski wants to merge 18 commits into

Closed

V2.3.0#50
aleksnanevski wants to merge 18 commits into
masterfrom
v2.3.0

Commits on Aug 6, 2026
- preparing for rocq-9.2/mathcomp-2.6.0
  aleksnanevski
  committed
  11e65e2
- Merge branch 'master' into v2.3.0
  aleksnanevski
  committed
  8c8bea7
- minor fixes
  aleksnanevski
  committed
  3bef4a5
- added graph and schorr examples
  aleksnanevski
  committed
  8e6415c
- renaming coq -> rocq
  aleksnanevski
  committed
  d093d8b
- renaming coq -> rocq
  aleksnanevski
  committed
  4cc8a84
- preparing v2.3.0
  aleksnanevski
  committed
  494b6d7
- preparing v2.3.0
  aleksnanevski
  committed
  17ee600
- minor
  aleksnanevski
  committed
  bcd068f
- preparing v2.3.0
  aleksnanevski
  committed
  a3ae5ac
- removing dependence on dune
  aleksnanevski
  committed
  32c112c
- fixing
  aleksnanevski
  committed
  8df16aa
- fixes
  aleksnanevski
  committed
  6199d95
- fixes
  aleksnanevski
  committed
  aba1e33
- fixes
  aleksnanevski
  committed
  5d20c9e
- fixes
  aleksnanevski
  committed
  3dcbc65
- fixes
  aleksnanevski
  committed
  bef7d5e
- again
  aleksnanevski
  committed
  ad519fa