Popular repositories Loading

1. siqr_test siqr_test Public

   The SIQR model of epidemiology with test and confounding disease

   Python 3

2. R_t-uniformprior R_t-uniformprior Public

   This Python code calculates the effective reproduction number R_t from the daily data of infections, using the Bayesian posterior probability from the likelihood function with the uniform prior pro…

   Python

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean