Highlights
- Pro
Popular repositories Loading
-
lean-type-theory
lean-type-theory PublicForked from digama0/lean-type-theory
LaTeX code for a paper on lean's type theory
TeX
-
-
-
mathlib4
mathlib4 PublicForked from leanprover-community/mathlib4
Work in progress mathlib port for lean 4
Lean
-
-
autoformalization-LLMs
autoformalization-LLMs PublicExplore autoformalizing theorems using Large Language Models (LLMs) and iterative prompt refinement to enhance accuracy.
Roff
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.