0 Reviews, TrustScore 0
Project In PetitLambda
It shows reduction process of lambda terms.
Several evaluation strategies are supported.
Output format can be selected from LaTex, plain text.
This profile is being listed freely by Cloodo community member. If you are owner of this profile, please click here to
Cloodo is open for all usefull and constructive reviews which is almost automatically published, but we fight fake reviews