cameronfreer

GitHub creator profile

cameronfreer

Repository-level view of 1 collected skills across 1 GitHub repositories.

github/cameronfreer largest repo: lean4-skills

skills collected

1

repositories

1

updated

Aug 24, 2026

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

1 skills · Aug 24, 2026

classification pending

repository explorer

Repositories and representative skills

creator/repo/skill

1 skills41744updated Aug 24, 2026

100% of creator

skill

occupation

description

updated

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…

Showing 1 of 1 repositories

All repositories loaded