Sign in
Join now
rocq
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
4106408d76b5090ad8cdfe40b720c16b5bcafd7635f1335145e7c88b21e22ee1
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/rocq
SSH
git@git.obscurejam.es:obscurejam.es/rocq
For self-hosted knots, clone URLs may differ based on your setup.
tar.gz
.zip
Files
proof.v
1d ago
Commits
1
test(language): add rocq fixture
obscurejam.es
·
1d ago
4106408d
Copied
Failed
Copy SHA
Branches
1
main
·
1d ago
Default
Compare
Languages
Rocq Prover
100%
