Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
JacobianChallenge
auto-formalizing some old school math
Lean
Emerging
GitHub
Stars
—
Forks
1
Contributors
1
Last push
7d ago
Recent commits
Latest commits.
Revert "refactor(DeRhamComparisonMap): retire false vanishing leaf; re-derive #242 root from honest exactness provider (#242)"
e94a1a2
Michal Wallace
11d ago
refactor(DeRhamComparisonMap): retire false vanishing leaf; re-derive #242 root from honest exactness provider (#242)
c89e833
Michal Wallace
11d ago
refactor(DeRhamComparisonMap): isolate zero-period closed-form vanishing leaf (#242)
821e5da
Michal Wallace
11d ago
chore: untrack gitignored .sci/ files from main
f7fd5f1
Michal Wallace
11d ago
Merge pull request #249 from tangentstorm/worker-jc1-chapter06-periods
bed3f64
tangentstorm
11d ago
refactor(periods): split classical period basis provider
1e37bd5
Michal Wallace
11d ago
refactor(periods): split universe H1 basis provider
f342a36
Michal Wallace
11d ago
refactor(periods): narrow universe Riemann LI provider
6195815
Michal Wallace
11d ago
Top contributors
Builders behind this project.
tangentstorm
2.8K commits
