facebookresearch/miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
¿Es facebookresearch/miniF2F apto para principiantes?
Hemos visto muy pocos pull requests recientes de colaboradores externos en facebookresearch/miniF2F para saber con qué frecuencia se fusionan. Ahora mismo no hay ningún issue apto para principiantes abierto; la lista de abajo muestra los demás issues que tenemos de este repositorio.
- Estrellas
- 107
- Forks
- 20
- Issues abiertos para principiantes
- 0
- Issues indexados
- 8
- Lenguaje dominante
- Objective-C++
- Licencia
- MIT
- Último push a GitHub
- 4/1/2025
- Última indexación
- 15/9/2026
- Guía de contribución
- Guía de contribución
- Código de conducta
- Código de conducta
- Etiquetas para principiantes
- Sin etiquetas para principiantes indexadas
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Cómo contribuir a facebookresearch/miniF2F
- Lee primero la guía de contribución: explica cómo quieren los mantenedores que se propongan, prueben y revisen los cambios.
- Lee su código de conducta: se aplica a los issues y pull requests igual que al chat.
- Tus contribuciones se publicarán bajo la licencia MIT del proyecto.
- Sigue el repositorio para enterarte cuando se abra un nuevo issue apto para principiantes, o revisa los demás issues de abajo.
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 55/100
facebookresearch/miniF2F#19 ·
-
Migrate to Lean 4Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
facebookresearch/miniF2F#16 · 2 comentarios ·
-
Support for CoqAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100
facebookresearch/miniF2F#14 · 1 comentario ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 30/100
facebookresearch/miniF2F#12 · 2 comentarios ·
-
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
facebookresearch/miniF2F#11 ·
-
Contributing automatically found proofs mentioned in Facebook's HTPS paper to this repositoryAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
facebookresearch/miniF2F#10 ·
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 25/100
facebookresearch/miniF2F#9 · 6 comentarios ·
-
Naming issue for IMO_2006_p6Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 25/100
facebookresearch/miniF2F#7 · 1 comentario ·