prefix 0.1.0

∀ Q, ∃h, ∀ f, g ∈ Q, s.t h(f, g) "then" f ≡ g + f

Maintainers

Chen Wang

Links

License

MIT
  • 21
    downloads
    this version
  • 0
    downloads
    yesterday
  • 1
    downloads
    last 7 days
  • 21
    downloads
    all time

Versions (1)

Dependencies (0)

Config

mix.exs

Checksum

Build Tools

mix

Owners

Dependents (0)