This website requires JavaScript.
Explore
Help
Sign in
max
/
lean4-htt
Watch
1
Star
0
Fork
You've already forked lean4-htt
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
2
40408
commits
1
branch
0
tags
5.3
GiB
master
Commit graph
2 commits
Author
SHA1
Message
Date
Sebastian Ullrich
892cbe22f8
fix: run
@[init]
declarations in declaration order (
#12221
)
...
Fixes
#10175
harder.
2026-01-29 15:32:56 +00:00
Sebastian Ullrich
1f732bb3b7
fix: missing unboxing in interpreter when loading initialized value (
#4512
)
...
Fixes
#4457
2024-06-20 10:06:24 +00:00