Sitemap
- Home
- Research
- Writing
- Addenda
- A-001 Lean Sorry Dataset
- A-002 Lean Sorry Repos Benchmark
- A-003 tinygrad Benchmarks
- A-004 Lean Tactic Representation
- A-005 Specter Viz
- A-006 Lean MCTS Learning
- A-007 Lean Corpus Extractor
- A-008 Typst Field Manual
- A-009 K Semantics Reference
- A-010 Equational Theories Distillation
- A-011 Design Tokens
- A-013 Poly Morphogenesis
- Cabinet
- Dashboards
- Elsewhere
Label Key
Project Status
conceptactiveactive-writingholdoperationalarchived
Addenda Type
researchtoolingdatasetbenchmarkcompetition