Popular repositories Loading

1. Filtered_Ring Filtered_Ring Public

   Repository for formalization of filtered ring

   Lean 3 1

2. tactics-in-lean tactics-in-lean Public

   Lean 2 1

3. Jacobson_Noether_Thm Jacobson_Noether_Thm Public

   Lean 1

4. sklearn-oblique-tree sklearn-oblique-tree Public

   Forked from AndriyMulyar/sklearn-oblique-tree

   a python interface to OC1 and other oblique decision tree implementations

   C

5. try try Public

   Lean

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean