cameronfreer

GitHub-Creator-Profil

cameronfreer

Repository-Ansicht von 1 gesammelten Skills in 1 GitHub-Repositories.

github/cameronfreer größtes Repository: lean4-skills

gesammelte Skills

1

Repositories

1

aktualisiert

24. Aug. 2026

Repository-Karte

Wo die Skills liegen

Top-Repositories nach gesammelter Skill-Anzahl, mit ihrem Anteil an diesem Creator-Katalog und ihrer Berufsverteilung.

1 Skills · 24. Aug. 2026

Klassifizierung ausstehend

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills41744aktualisiert 24. Aug. 2026

100 % des Creators

Skill

Beruf

Beschreibung

Aktualisiert

nicht klassifiziert

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, finding a counterexample to, refuting, or disproving…

1 von 1 Repositories angezeigt

Alle Repositories angezeigt