Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
elman-proofs
ekg/elman-proofs
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
28d ago
Recent commits
Latest commits.
Prove explicit S5 tracker realization
5082610
Erik Garrison
28d ago
Mark historical proof sketches
2564d29
Erik Garrison
28d ago
Add S5 witness proof scaffold
13970b8
Erik Garrison
28d ago
Add NDM paper core formalism
bf147b2
Erik Garrison
1mo ago
Define trusted Lean proof surface
84011f5
Erik Garrison
1mo ago
Close M2RNN forget gate loopholes
538c7ed
Erik Garrison
1mo ago
Account for M2RNN forget carry in E88 separation
664de79
Erik Garrison
1mo ago
Separate M2RNN candidate from E88 delta transition
6202314
Erik Garrison
1mo ago
Top contributors
Builders behind this project.
ekg
141 commits
