Popular repositories Loading

1. lean-type-theory lean-type-theory Public

   Forked from digama0/lean-type-theory

   LaTeX code for a paper on lean's type theory

   TeX

2. Deligne Deligne Public

   Lean

3. local_fields local_fields Public

   Forked from mariainesdff/norm_extensions

   Lean

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   Work in progress mathlib port for lean 4

   Lean

5. CICM24_Deligne CICM24_Deligne Public

   Lean

6. autoformalization-LLMs autoformalization-LLMs Public

   Explore autoformalizing theorems using Large Language Models (LLMs) and iterative prompt refinement to enhance accuracy.

   Roff