#

residue-classes

Here is 1 public repository matching this topic...

Monklimonk / finite-lyapunov-core-mod96

finite-lyapunov-core-mod96

math coq theorem-proving finite-state-machine modular-arithmetic formal-methods dynamical-systems formal-verification lyapunov coq-library rational-arithmetic lyapunov-functions energy-based-model rocq-prover residue-classes q-arith z-arith

Updated Nov 28, 2025
Rocq Prover

Improve this page

Add a description, image, and links to the residue-classes topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the residue-classes topic, visit your repo's landing page and select "manage topics."