hts

v 1.3.1

HTS CTT-CCHM Homotopy Type System

Online Documentation

Readme 0 Dependencies 0 Dependants Activity Versions

Packages depending on hts

0 packages

No packages depend on hts yet.

Checksum

Dependency Config

mix.exs

rebar.config

erlang.mk

Package Details

Downloads Last 30 days, 1.3.1

this version

232

yesterday

0

last 7 days

4

all time

365

Last Updated

Mar 19, 2020

License

ISC

Build Tools

mix rebar3

Publisher

Links

GitHub

Owners

5ht
doxtop