prefix 0.1.0

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

Maintainers

Chen Wang

Links

License

MIT
  • 15
    downloads
    this version
  • 0
    downloads
    yesterday
  • 2
    downloads
    last 7 days
  • 15
    downloads
    all time

Versions

Dependencies

Config

mix.exs

Build Tools

mix

Owners

Dependents (0)