Popular repositories Loading

1. dfgd dfgd Public

   dfg

2. mechanics_of_proof mechanics_of_proof Public

   Forked from hrmacbeth/math2001

   Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

   HTML

3. credit-risk-modeling-in-python credit-risk-modeling-in-python Public

   Forked from alardosa/credit-risk-modeling-in-python

   Jupyter Notebook

4. GlimpseOfLean GlimpseOfLean Public

   Forked from PatrickMassot/GlimpseOfLean

   An introduction to theorem proving in Lean for the impatient.

   Lean

5. break-the-ice-with-python break-the-ice-with-python Public

   Forked from darkprinx/break-the-ice-with-python

   The repository is about 100+ python programming exercise problem discussed, explained, and solved in different ways

   Jupyter Notebook

6. The-Ultimate-Python-Course The-Ultimate-Python-Course Public

   Forked from CodeWithHarry/The-Ultimate-Python-Course

   Source code and all the details for the Ultimate Python Course on CodeWithHarry channel

   Python