anthropics/formal-math
Auf GitHub ansehen- Sterne
- 239
- Forks
- 46
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 9
- Ø Merge
- 1 T. 19 Std.
- Gemergte PRs (30 T.)
- 7
- Vorherrschende Sprache
- Lean
- Lizenz
- Apache-2.0
- Letzter GitHub-Push
- 05.9.2026
- Zuletzt indexiert
- 13.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
-
anthropics/formal-math#5 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anthropics/formal-math#7 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
anthropics/formal-math#8 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen ·
-
anthropics/formal-math#9 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anthropics/formal-math#10 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anthropics/formal-math#14 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
question 54 Offen
anthropics/formal-math#16 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
anthropics/formal-math#25 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
Share prompt Offen
anthropics/formal-math#26 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·