alpha
Login
Join now
edouard.paris
/
glean
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Verify Gleam functions in Lean 4.
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
All
Push
Pull
request
2 pipeline runs
Push to
main
a9ff4a70
2/2
ci.yml
6m 15s
proofs.yml
12m 14s
18m 29s
·
2mo ago
Push to
main
0a7e31f4
0/2
ci.yml
15m 25s
proofs.yml
16m 26s
31m 51s
·
2mo ago
