Popular repositories Loading

1. lean-social-choice lean-social-choice Public

   A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.

   Lean 31 1

2. vax_urban_density vax_urban_density Public

   Replication Code --- "It's Worth a Shot: Urban Density, Endogenous Vaccination Decisions, and Dynamics of Infectious Disease"

   Jupyter Notebook

3. leanprover-contrib leanprover-contrib Public

   Forked from leanprover-contrib/leanprover-contrib

   Python

4. econ-4850-exp1 econ-4850-exp1 Public

   Fall 2026 code for Experiment 1 in GU4850.

   JavaScript