leanprover/lp
Ver en GitHubLinear programming in Lean 4: lp and maximize tactics, plus a verified SoPlex-backed solver.
- Estrellas
- 11
- Forks
- 0
- Issues abiertos para principiantes
- 0
- Issues indexados
- 3
- Merge medio
- 4 h 48 min
- PR fusionados (30 d)
- 1
- Lenguaje dominante
- Lean
- Licencia
- Apache-2.0
- Último push a GitHub
- 26/8/2026
- Última indexación
- 20/9/2026
- Guía de contribución
- Sin guía de contribución
- Código de conducta
- Sin código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
Cargando issues
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
leanprover/lp#49 · 1 comentario ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
leanprover/lp#48 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
leanprover/lp#1 ·