Department of Mathematics, Computer Science and Physics

Λ-symsym: an interactive Tool for playing with Involutions and Types
F. Honsell, M. Lenisa, I. Scagnetto

Choose function:



Compute

Insert expression:

Result: