Repository navigation

Update to Rocq - #22

Merged

shinnar merged 15 commits into

Oct 24, 2025

Merged

Update to Rocq#22
shinnar merged 15 commits into
masterfrom
rocq

Commits on Oct 22, 2025
- Start migrating to rocq 9.1.0
  shinnar
  committed
  5596ae8
- Update dependencies
  shinnar
  committed
  a4e6595
Commits on Oct 23, 2025
- convert LM
  shinnar
  committed
  1028b5b
- Remove NeuralNetwork stuff
  shinnar
  committed
  aa0fc86
- Update utils for new version of Rocq
  shinnar
  committed
  e6bd9a7
- remove ocaml extraction support
  shinnar
  committed
  8fac5f7
- Remove FHE code
  shinnar
  committed
  f853f15
- Remove Floatish and the dependencies on flocq and interval
  shinnar
  committed
  03e4fc2
- Update ProbTheory for new version of Rocq
  shinnar
  committed
  bdb8ca6
- Update CertRL for new version of Rocq
  shinnar
  committed
  c139a1c
Commits on Oct 24, 2025
- progress
  shinnar
  committed
  45ad3a9
- finish migration
  shinnar
  committed
  bb3dc31
- update dockerfile and github actions
  shinnar
  committed
  8f2aa73
- rename source directory coq->rocq
  shinnar
  committed
  cebb936
- update README
  shinnar
  committed
  0dd6f3d