hts 1.3.1

HTS CTT-CCHM Homotopy Type System

License

ISC
  • 13 13
    downloads
    this version
  • 0 0
    downloads
    yesterday
  • 3 3
    downloads
    last 7 days
  • 26 26
    downloads
    all time

Versions (2)

Dependencies (0)

Recent Activity

  • 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

Publisher

5ht

Dependents (0)