mehdigolpayegani.easycrypt-companion

EasyCrypt Companion

Open VSX ↗
Total downloads
116
7d gain
8
Rolling weekly delta
Rating
- / 5
0 reviews
Version
0.1.0
Latest published

Activity

Extension trends

Manifest

Metadata

Namespace
mehdigolpayegani
Name
easycrypt-companion
License
MIT
Homepage
https://github.com/mehdigolpayegani/easycrypt-companion#readme
Repository
https://github.com/mehdigolpayegani/easycrypt-companion.git
Reviews
0

Taxonomy

Categories

Programming Languages

Description

Interactive proof development for EasyCrypt in VS Code, with Proof General keybindings for Emacs users.

Archive

Release history

1 latest releases