xldenis.whycode

whycode

Total downloads

91,311

Cumulative since first snapshot

7d gain

0

Rolling weekly delta

Rating

— / 5

0 reviews

Version

0.2.535

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: xldenis
Name: whycode
License: —
Homepage: https://github.com/xldenis/whycode#readme
Repository: https://github.com/xldenis/whycode.git
Reviews: 0

Taxonomy

Categories

Other

Description

Why3 LSP client