homotopy 1.3.1

CTT-CCHM Homotopy Type System

License

ISC
  • 11 11
    downloads
    this version
  • 0 0
    downloads
    yesterday
  • 0 0
    downloads
    last 7 days
  • 11 11
    downloads
    all time

Versions (1)

Dependencies (0)

Recent Activity

  • Mar 20, 2020 Publish documentation for release 1.3.1
  • Mar 20, 2020 Publish release 1.3.1
  • Mar 19, 2020 Publish documentation for release 1.3.1
  • Mar 19, 2020 Publish release 1.3.1
  • Mar 19, 2020 Publish documentation for release 1.3.1
  • Mar 19, 2020 Publish release 1.3.1

Show All Activities

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

mix rebar3

Owners

Publisher

5ht

Dependents (0)