LeanBridge good first issues (Lean)

Lattices: kissing number and Hermite invariant 16 days ago

good first issue level: beginner lattices priority: low

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Modular forms: dual and self-dual cusp forms (predicate) 16 days ago

good first issue modular-forms level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

General: abc quality of a coprime triple (and the radical) 16 days ago

good first issue number-fields general level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Elliptic curves: basic API for torsion subgroups 4 months ago

good first issue elliptic-curves level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Elliptic curves: Frey–Hellegouarch curve of an abc triple 4 months ago

good first issue elliptic-curves level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Modular forms: eta quotients and the Ligozat modularity criterion 4 months ago

good first issue modular-forms level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Modular forms: coefficient field of a newform 4 months ago

good first issue modular-forms level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Elliptic curves: semistability (predicate) 4 months ago

good first issue elliptic-curves level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Modular forms: bad primes 4 months ago

good first issue modular-forms level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Number fields: totally positive elements (predicate) 4 months ago

good first issue number-fields level: beginner

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

Computable polynomial irreducibility and roots over UFDs 5 months ago

good first issue number-fields level: beginner workshop mathlib

CBirkbeck/LeanBridge

9

Link LMFDB and Lean

Lean

CBirkbeck/LeanBridge

Open Issues Need Help