Total downloads
456
Deducteam.lambdapi
lambdapi
7d gain
4
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.2.2
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- Deducteam
- Name
- lambdapi
- License
- -
- Homepage
- https://github.com/Deducteam/lambdapi
- Repository
- https://github.com/Deducteam/lambdapi.git
- Reviews
- 0
Taxonomy
Categories
Description
VSCode extension for the Lambdapi proof assistant
Archive