Use when editing .lean files, seeing type mismatch/sorry/failed to synthesize instance/axiom warnings, lake build error…
Use when editing .lean files, seeing type mismatch/sorry/failed to synthesize instance/axiom warnings, lake build errors, or searching mathlib for theorem proofs.
cameronfreer
cli
free
Others in the same category, ranked by how often they are opened.
