Total downloads
122
tresml-lang.vsquirrel-prover
VSquirrel Prover
7d gain
0
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.1.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- tresml-lang
- Name
- vsquirrel-prover
- License
- MIT
- Homepage
- https://github.com/zacharie-moughanim/vsquirrel#readme
- Repository
- https://github.com/zacharie-moughanim/vsquirrel.git
- Reviews
- 0
Taxonomy
Categories
Description
VScod{e,ium} extension for Squirrel proof assistant.
Archive