Popular repositories Loading

1. lean4-samples lean4-samples Public

   Forked from leanprover-community/lean4-samples

   Code samples for Lean 4

   Lean

2. WidGet WidGet Public

3. my-widget my-widget Public

4. SP26_dew_bubble SP26_dew_bubble Public

   Forked from TylerJosephson/SP26_dew_bubble

   Txy calculations via Rachford-Rice

   Python

5. Kidney-Stone_Modeling Kidney-Stone_Modeling Public

   EQUIL2 + Python pipeline for thermodynamic kidney stone modeling.

   Python 1