athola/math-cheatsheet
athola/math-cheatsheet è adatto ai principianti?
Abbiamo visto troppo poche pull request recenti di contributori esterni su athola/math-cheatsheet per dire quanto spesso vengono accettate. In questo momento sono aperte 10 issue adatte ai principianti.
- Stelle
- 0
- Fork
- 0
- Issue aperte per principianti
- 10
- Issue indicizzate
- 41
- Lingua principale
- Python
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 25/4/2026
- Ultima indicizzazione
- 21/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Come contribuire a athola/math-cheatsheet
- Non c'è una guida per contribuire: parti dal README e da alcune pull request accettate di recente per capire come si propongono le modifiche.
- Scegli una delle 10 issue aperte adatte ai principianti qui sotto e, prima di iniziare, scrivi in un commento che vuoi occupartene.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
medium-priority small-effort test
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
athola/math-cheatsheet#78 ·
-
docs medium-effort medium-priority
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
athola/math-cheatsheet#77 ·
-
fix(scripts): robustness follow-ups — silent drops, network timeouts, temp cleanup, sample capApertabugfix medium-priority small-effort
Difficoltà 4/5 3-5 giorni Idoneità per principianti 65/100
athola/math-cheatsheet#76 ·
-
bugfix medium-effort medium-priority
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
athola/math-cheatsheet#75 ·
-
decision-procedure medium-priority refactor small-effort
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
athola/math-cheatsheet#74 ·
-
test: add unit coverage for cheatsheet_harness.load_training_set and llm_evaluator.generate_problemsApertamedium-priority small-effort test
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
athola/math-cheatsheet#73 ·
-
refactor(experiments): consolidate three independent implication-prediction heuristic enginesApertamedium-effort medium-priority refactor
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
athola/math-cheatsheet#72 ·
-
research: audit Curry-Howard framing in Lean 4 artifacts against O'Connor's "mysticism" critiqueApertadocs lean low-priority research small-effort
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
athola/math-cheatsheet#71 ·
-
bugfix low-priority small-effort
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
athola/math-cheatsheet#70 ·
-
medium-effort medium-priority refactor
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
athola/math-cheatsheet#69 ·
-
low-priority refactor small-effort
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
athola/math-cheatsheet#68 ·
-
bugfix decision-procedure medium-priority small-effort
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
athola/math-cheatsheet#67 ·
-
feat: lean_bridge upgrade to true theorem emission with decide discharge (O1)Forse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure feature large-effort lean medium-priority
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
athola/math-cheatsheet#64 · 2 commenti ·
-
refactor: code simplifications — collapse absorption branches, generator-over-list, match statements (S1-S6)Forse già presa @athola l’ha presa 186 giorni fa. Apertalow-priority medium-effort refactor
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
athola/math-cheatsheet#63 · 1 commento ·
-
docs: docstring drift — _match_pattern terminology, stale test docstrings, op-count narrative (NEW-I11, S11, S12)Forse già presa @athola l’ha presa 186 giorni fa. Apertadocs low-priority small-effort
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
athola/math-cheatsheet#62 · 1 commento ·
-
fix: error handling — ETP loader aborts on first parse error; lean_coverage crashes on bad encoding (NEW-I9, I10)Forse già presa @athola l’ha presa 186 giorni fa. Apertabugfix lean medium-priority small-effort
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
athola/math-cheatsheet#61 · 1 commento ·
-
fix: Phase 6 internals — rewrite observability, match bindings safety, _rule_is_sound coverage (NEW-I1, I2, I8)Forse già presa @athola l’ha presa 186 giorni fa. Apertabugfix decision-procedure medium-effort medium-priority refactor
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
athola/math-cheatsheet#60 · 1 commento ·
-
test: coverage gaps — term.py parser error paths and property-based soundness check (NEW-I7, S7, S8, S9, S10)Forse già presa @athola l’ha presa 186 giorni fa. Apertamedium-effort medium-priority test
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
athola/math-cheatsheet#59 · 1 commento ·
-
refactor: type design hardening — frozen dataclasses, Term ADT, bounded cache (NEW-I3, I4, I5)Forse già presa @athola l’ha presa 186 giorni fa. Apertamedium-effort medium-priority refactor
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
athola/math-cheatsheet#58 · 1 commento ·
-
test: phase assertions in test_decision_procedure.py too loose (S10)Forse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure medium-priority small-effort test
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
athola/math-cheatsheet#56 · 1 commento ·
-
refactor: Magma.operation mutable post-construction; from_dict_operation carrier param redundant (S8, S9)Forse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure low-priority refactor small-effort
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
athola/math-cheatsheet#55 · 1 commento ·
-
fix: equation_parser_utils silently drops unknown characters; wilson_ci accepts invalid inputs (S6, S7)Forse già presa @athola l’ha presa 186 giorni fa. Apertabugfix decision-procedure medium-priority small-effort
Difficoltà 3/5 1-2 giorni Idoneità per principianti 66/100
athola/math-cheatsheet#54 · 1 commento ·
-
refactor: PredictionResult.phase is stringly-typed; _VALID_VALUES missing Final; _equiv_data needs NamedTuple (S3-S5)Forse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure low-priority medium-effort refactor
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
athola/math-cheatsheet#53 · 1 commento ·
-
fix: oracle.equivalence_classes exposes mutable sets; parse_verdict ambiguous None return (M4, M5)Forse già presa @athola l’ha presa 186 giorni fa. Apertabugfix decision-procedure medium-priority small-effort
Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100
athola/math-cheatsheet#52 ·
-
fix: competition_sim.main() not tested; evaluate_with_llm uses sys.exit from libraryForse già presa @athola l’ha presa 186 giorni fa. Apertabugfix llm-eval medium-priority small-effort
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
athola/math-cheatsheet#51 ·
-
test: debug logging and EvalCache warning emission not verified by tests (H7, H8)Forse già presa @athola l’ha presa 186 giorni fa. Apertallm-eval medium-priority small-effort test
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
athola/math-cheatsheet#50 ·
-
test: Magma validation error paths have no test coverage (H5)Forse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure medium-priority small-effort test
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
athola/math-cheatsheet#49 ·
-
test: SHA-256 checksum verification has no test coverage (H1)Forse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure medium-priority small-effort test
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
athola/math-cheatsheet#48 ·
-
docs: non-square matrix behavior undocumented in ImplicationOracleForse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure docs low-priority small-effort
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
athola/math-cheatsheet#46 ·
-
fix: per-category timing is averaged, not measuredForse già presa @athola l’ha presa 186 giorni fa. Apertabugfix competition medium-priority small-effort
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
athola/math-cheatsheet#45 ·
-
fix: _PHASE_SUGGESTIONS missing P5a/P5b/P5c entriesForse già presa @athola l’ha presa 186 giorni fa. Apertabugfix decision-procedure medium-priority small-effort
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
athola/math-cheatsheet#44 ·
-
refactor: address PR #42 non-critical review findingsForse già presa @athola l’ha presa 186 giorni fa. Apertamedium-effort medium-priority refactor
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
athola/math-cheatsheet#43 ·
-
refactor: Module-level mutable lists should be tuplesForse già presa @athola l’ha presa 186 giorni fa. Apertalow-priority refactor small-effort
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
athola/math-cheatsheet#41 ·
-
refactor: CANONICAL_MAGMAS lost property metadataForse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure medium-effort medium-priority refactor
Difficoltà 2/5 1-3 ore Idoneità per principianti 64/100
athola/math-cheatsheet#40 ·
-
refactor: Magma.elements field is redundantForse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure low-priority refactor small-effort
Difficoltà 3/5 1-2 giorni Idoneità per principianti 66/100
athola/math-cheatsheet#39 ·
-
Complete Phase 7 structural heuristics (operation count, property independence, duality)Forse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure feature feature-review low-priority medium-effort
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
athola/math-cheatsheet#35 ·
-
Cache exhaustive 2-element magma satisfiability resultsForse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure feature-review low-priority medium-effort performance
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
athola/math-cheatsheet#34 ·
-
Create Lean/Python bridge for Stage 2 formal proof generationForse già presa @athola l’ha presa 186 giorni fa. Apertafeature feature-review large-effort lean medium-priority
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
athola/math-cheatsheet#32 ·
-
Implement Phase 6 (rewrite analysis) in equation_analyzer.pyForse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure feature feature-review medium-effort medium-priority
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
athola/math-cheatsheet#28 ·
-
Deduplicate Term/Equation/parser across equation_analyzer.py, etp_equations.py, data_models.pyForse già presa @athola l’ha presa 186 giorni fa. Apertadecision-procedure feature-review high-priority medium-effort refactor
Difficoltà 4/5 3-5 giorni Idoneità per principianti 50/100
athola/math-cheatsheet#27 ·
-
Lean proof coverage dashboardForse già presa @athola l’ha presa 186 giorni fa. Apertafeature feature-review lean low-priority medium-effort
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
athola/math-cheatsheet#25 ·