alpha
Login
Join now
edouard.paris
/
chilun
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
齿轮
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Nix
55%
Lean
44%
1%
main
Branches
main
Tags
No tags found
View all branches
View all tags
2
1
0
Code
Clone this repository
Use permalink
HTTPS
https://next.tangled.org/edouard.paris/chilun
SSH
git@knot.edouard.paris:edouard.paris/chilun
For self-hosted knots, clone URLs may differ based on your setup.
tar.gz
.zip
drafts
2mo ago
种子
2mo ago
.gitignore
2mo ago
CLAUDE.md
2mo ago
flake.lock
2mo ago
flake.nix
2mo ago
Commits
2
Understand Lean enum syntax
4d3557d0
edouardparis
·
2mo ago
lake build
d5e2c237
edouardparis
·
2mo ago
Branches
1
main
·
2mo ago
Default
