❤

npm

@wacoq/htt

0.16.0 • Public • Published 2 years ago

addon-htt

Hoare Type Theory addon for jsCoq

Readme

Keywords

none

Package Sidebar

Install

npm i @wacoq/htt

Repository

github.com/jscoq/addon-htt

Homepage

github.com/jscoq/addon-htt#readme

Weekly Downloads

2

Version

0.16.0

License

AGPL-3.0-or-later

Unpacked Size

632 kB

Total Files

4

Last publish

2 years ago

Collaborators

Try on RunKit

Report malware