Added by Anonymous almost 2 years ago.
0%
Description
Lustrec syntax:
f(x1 when c, x2 when c, ...)
Kind2 syntax:
(activate f every c)(x1, x2, ...)
(Maximum size: 5 MB)
Also available in: Atom PDF