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
38161
commits
1
branch
0
tags
5.3
GiB
aa3d409eb6
Commit graph
2 commits
Author
SHA1
Message
Date
Mac Malone
aa3d409eb6
refactor: lake: mv tests/examples to top-level tests dir (
#10688
)
...
This PR moves Lake's test infrastructure from `src/lake` to `tests/lake`.
2025-10-06 21:47:57 +00:00
Sebastian Ullrich
bf76eca0cd
chore: merge Lake into src/lake
2023-07-17 10:38:20 +02:00