sahibzada-allahyar/YC-Killer

[Physics Copilot] E3-08 — Canonical Lean examples (30)

Open

#39 aperta il 2 nov 2025

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)TypeScript (126 fork)auto 404
area:leanhelp wantedsize:Stype:task

Metriche repository

Star
 (2780 star)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

Summary Add 30 canonical math examples with expected outcomes.

Repo Context

Acceptance Criteria

  • 20 pass; 10 fail with clear messages

Tasks

  • Examples dir
  • Golden traces

Test Plan

  • Example runner.

LOC & Simplicity Guardrails

Definition of Done

  • CI green, unit/integration tests added.
  • Docs updated.
  • Demo snippet or example under physics_copilot/examples/.

Guida contributor

Direzione di ricerca
Crea una directory per gli esempi, scrivi 20 esempi Lean che passano e 10 che falliscono con messaggi di errore chiari, e configura un esecutore di test per verificare.
Tech stack
Nessuno
Dominio
documentation
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
LeanGit
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70