Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Python
rpylean
A Lean (4) type checker written in RPython
Python
Emerging
lean4
leanprover
pypy
rpython
GitHub
Stars
11
Forks
3
Contributors
7
Last push
1d ago
Recent commits
Latest commits.
Add TAB completion to the REPL.
128c0ab
Julian Berman
1d ago
Give the REPL line editing and history.
89ed1b3
Julian Berman
1d ago
Move rlib-y things into a subpackge.
88f1154
Julian Berman
2d ago
Dead module.
610af15
Julian Berman
2d ago
Junk
c2e027a
Julian Berman
3d ago
Make the per-decl flush budget growth-based, not absolute.
224296b
Julian Berman
4d ago
Whnf the major's type before K-like; demand-load decls in ffi check.
eeb93a7
Julian Berman
4d ago
Fire quot-lift inside the iota chain's major reduction loop.
839c99c
Julian Berman
5d ago
Top contributors
Builders behind this project.
Julian
686 commits
Aaron1011
86 commits
austinletson
7 commits
dependabot[bot]
6 commits
cfbolz
3 commits
mpenciak
2 commits
ammkrn
1 commits
