homotopy 1.3.1

CTT-CCHM Homotopy Type System

License

ISC

Downloads

0 20 40 60 80 Last 30 days, all versions
  • 68 68
    this version
  • 0 0
    yesterday
  • 0 0
    last 7 days
  • 68 68
    all time

Versions (1)

Dependencies (0)

Recent Activity

  • Oct 06, 2020 Add doxtop as a level full owner
  • 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)