prefix 0.1.0
∀ Q, ∃h, ∀ f, g ∈ Q, s.t h(f, g) "then" f ≡ g + f
Links
License
MITDownloads
-
270
270
this version -
0
0
yesterday -
0
0
last 7 days -
270
270
all time
Versions (1)
- 0.1.0 Jul 24, 2017
Dependencies (0)
Recent Activity
- Jul 24, 2017 Publish documentation for release 0.1.0
- Jul 24, 2017 Publish release 0.1.0
cjen07