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
3701cdbcd4f2ae0b6b8b1e5de34f56daa9013b89e82042fcaf351d262cbfc16f
Branches
main
default
Tags
No tags found
View all branches
View all tags
1
1
0
Code
Clone this repository
Use permalink
HTTPS
https://obscurejam.es/obscurejam.es/isabelle
SSH
git@git.obscurejam.es:obscurejam.es/isabelle
For self-hosted knots, clone URLs may differ based on your setup.
tar.gz
.zip
Files
Theory.thy
1d ago
Commits
1
test(language): add isabelle fixture
obscurejam.es
·
1d ago
3701cdbc
Copied
Failed
Copy SHA
Branches
1
main
·
1d ago
Default
Compare
Languages
Isabelle
100%
