Sign in
Join now
isabelle
obscurejam.es
/
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
Commits on
3701cdbcd4f2ae0b6b8b1e5de34f56daa9013b89e82042fcaf351d262cbfc16f
obscurejam.es
3701cdbc
Copied
Failed
Copy SHA
test(language): add isabelle fixture
main
Copy SHA
Browse repository
committed
1d ago
