Pinned Loading

1. specification-grammar specification-grammar Public

   Admissible generalizations trail leading specifications.

   Python 2 2

2. mod30-residue-lanes mod30-residue-lanes Public

   modulo 30 residue lanes

   Jupyter Notebook 2 1

3. general-divisor-theorem general-divisor-theorem Public

   Lean formalization and verification artifact for the General Divisor Theorem.

   Lean 2 1

4. lean-perovskite lean-perovskite Public

   Using Lean to formalize and test quantitative specifications for perovskite quantum light emission.

   Lean 3 1

5. lean-desi-stellar lean-desi-stellar Public

   Lean specifications for DESI stellar measurements, phase-space dynamics, and admissible dark-matter inferences.

   Lean 2 1

6. lean-gioia lean-gioia Public

   Lean formalizations of results from Lei Gioia's research, developed from seminar and paper specifications.

   Lean 3 1