Lenguaje · Lean
Lean
Repositorios de código abierto monitorizados que tienen Lean como lenguaje principal, ordenados por estrellas.
12 repositorios
- #1lean4@leanprover
Lenguaje de programación y demostrador de teoremas Lean 4
★ 8920+46Variación de estrellas de los últimos 7 días - #2mathlib4@leanprover-community
La librería matemática de Lean 4
★ 3958+42Variación de estrellas de los últimos 7 días - #3analysis@teorth
Un compañero Lean para Análisis I.
★ 1876+10Variación de estrellas de los últimos 7 días - #4formal-conjectures@google-deepmind
Una colección de declaraciones formalizadas de conjeturas en Lean.
★ 1205+11Variación de estrellas de los últimos 7 días - #5FLT@ImperialCollegeLondon
Formalización continua en Lean de la demostración del Último Teorema de Fermat
★ 982+9Variación de estrellas de los últimos 7 días - #6superhuman@google-deepmind★ 794+5Variación de estrellas de los últimos 7 días
- #7physlib@leanprover-community
Un proyecto para digitalizar resultados de física en Lean.
★ 712+9Variación de estrellas de los últimos 7 días - #8Cosette@uwdb
Cosette es un solucionador automático de SQL.
★ 686+0Variación de estrellas de los últimos 7 días - #9cslib@leanprover
La biblioteca de ciencias de la computación Lean (CSLib)
★ 671+11Variación de estrellas de los últimos 7 días - #10smalltt@AndrasKovacs
Demo para la elaboración de teoría de tipos de alto rendimiento
★ 597+3Variación de estrellas de los últimos 7 días - #11equational_theories@teorth
Un proyecto para mapear las relaciones entre diferentes teorías ecuacionales de Magmas.
★ 550+1Variación de estrellas de los últimos 7 días - #12SciLean@lecopivo
Computación científica en Lean 4
★ 525+2Variación de estrellas de los últimos 7 días
