Popular repositories Loading

1. AQARION-QUANTARION-FDS-FINITE-DYNAMICAL-SYSTEMS- AQARION-QUANTARION-FDS-FINITE-DYNAMICAL-SYSTEMS- Public

   Forked from JASKSG9/AQARION-ARITHMETIC-FDS-FINITE-DYNAMICAL-SYSTEMS-

   AQARION-QUANTARION researches finite dynamical systems, observable quotients, semiconjugacy, trace equivalence, coalgebraic refinement, and certified computation The repository develops exact Kapre…

   TeX 2

2. Aqarion-Ro_crate Aqarion-Ro_crate Public

   Forked from ResearchObject/ro-crate

   AQARION RO_Crate is an experimental extension profile for RO-Crate research objects. It adds semantic claim structures, fine-grained evidence provenance, machine-verifiable certificates, and reprod…

   Python 2

3. Aqarion-Ro_Crate-py Aqarion-Ro_Crate-py Public

   Forked from ResearchObject/ro-crate-py

   AQARION RO-Crate is a extended python library profile for RO-Crate research objects. It adds semantic claim structures, fine-grained evidence provenance, machine-verifiable certificates, and reprod…

   Python 2

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean 2

5. MANDELBROT-INFINITE-DYNAMICS MANDELBROT-INFINITE-DYNAMICS Public

   Forked from JASKSG9/MANDELBROT-INFINITE-DYNAMICS

   Mandelbrot Research develops a verification architecture for complex dynamical systems using escape-time analysis, orbit classification, numerical certification, symbolic dynamics, & reproducible c…

   HTML 2

6. AQARION AQARION Public

   AQARION / Quantarion-AI: reusable infrastructure for rigorous, reproducible mathematical research. It unifies ClaimLock governance, ProofGym, JOIN-STABILITY, replay verification, provenance chains,…

   Python 2 1