Popular repositories Loading

1. lemma-set lemma-set Public

   a set of automatically generated lemmas in lean

   Lean 3

2. Lean-Oscar Lean-Oscar Public

   An interface between Lean4 and Oscar.

   Lean 3 2

3. counter-example-to-the-unit-conjecture-for-group-rings counter-example-to-the-unit-conjecture-for-group-rings Public

   1

4. local-analysis local-analysis Public

   It's a extension of Lizzie to solve Go problems

   Java

5. Lean3-AI Lean3-AI Public

   Code for training an AI for Lean 3

   Python