Popular repositories Loading

1. Filtered_Ring Filtered_Ring Public

   Repository for formalization of filtered ring

   Lean 3

2. Jacobson_Noether_Thm Jacobson_Noether_Thm Public

   Lean 1

3. tactics-in-lean tactics-in-lean Public

   Lean 1 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. test_game test_game Public

   Lean

6. repl repl Public

   Forked from leanprover-community/repl

   A simple REPL for Lean 4, returning information about errors and sorries.

   Lean