Toggle navigation
Packages
Pricing
Docs
Log in
hts
1.3.1
HTS CTT-CCHM Homotopy Type System
Links
Online documentation
GitHub
License
ISC
Downloads
0
20
40
60
80
Last 30 days, all versions
107
107
this version
0
0
yesterday
0
0
last 7 days
185
185
all time
Versions
(2)
1.3.1
Mar 19, 2020
1.3.0
Mar 14, 2020
Dependencies
(0)
Recent Activity
Oct 06, 2020
Add doxtop as a level full owner
Mar 19, 2020
Publish documentation for release 1.3.1
Mar 19, 2020
Publish release 1.3.1
Mar 14, 2020
Publish documentation for release 1.3.0
Mar 14, 2020
Publish release 1.3.0
Mar 14, 2020
Publish documentation for release 1.3.0
Mar 14, 2020
Publish release 1.3.0
Show All Activities
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
rebar3
Owners
5ht
doxtop
Publisher
5ht
Dependents (0)