anthropics / anthropics/formal-math
Share prompt
Aperta
- Lingua principale
- Lean
- Stelle
- 239
- Fork
- 46
- Merge medio
- 1g 19h
- PR unite (30g)
- 7
Descrizione
Could you please share the prompt, human instructions and all other necessary information for reproducing the results?
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.