Issue del repository

ldct/formal-conjectures

A collection of formalized statements of conjectures in Lean.

Vedi su GitHub
Star
 (0 stelle)
Fork
 (0 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
20 ago 2026
Ultimo push GitHub
27 giu 2026
Licenza
Apache License 2.0
Guida contributori
Guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Lean
Metriche merge PR
 (Nessuna PR mergiata in 30 g)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate

Nessuna issue indicizzata trovata per questo repository.