agda-web-docs-lib

Library for enhancing Agda-generated HTML documentation

v1.0.2 URL: https://unpkg.com/agda-web-docs-lib@1.0.2/dist/index.js

Open Browse Files

agda documentation html renderer formal-verification formal-methods

@completium/archetype

Archetype is a general purpose language to develop Smart Contracts on the Tezos blockchain.

v1.0.6 URL: https://unpkg.com/@completium/archetype@1.0.6/dist/index.js

Open Browse Files

archetype tezos smart-contract completium formal-verification