@wacoq/htt

0.16.0 • Public • Published

addon-htt

Hoare Type Theory addon for jsCoq

Readme

Keywords

none

Package Sidebar

Install

npm i @wacoq/htt

Weekly Downloads

2

Version

0.16.0

License

AGPL-3.0-or-later

Unpacked Size

632 kB

Total Files

4

Last publish

Collaborators

  • corwin.amber