Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Lean
lrt
Lean runtime formalization
Lean
Emerging
lean4
GitHub
Stars
1
Forks
—
Contributors
1
Last push
7mo ago
Recent commits
Latest commits.
feat: basic references & addresses
646844f
tydeu
7mo ago
fix: missing borrow annotations & related touchups
7567bfd
tydeu
10mo ago
refactor: introduce `LRT.Data` folder
8933d27
tydeu
10mo ago
feat: `ByteArray.size_uset`
8aae9c2
tydeu
10mo ago
feat: basic mpz model
59600a2
tydeu
11mo ago
feat: promises, refs, opaque types
a38f07d
tydeu
11mo ago
chore: opt-out of Reservoir (for now)
0d310dc
tydeu
11mo ago
chore: rm version (for now)
b8af1a5
tydeu
11mo ago
Top contributors
Builders behind this project.
tydeu
10 commits