Lydia
G. Kondylidou
Toggle navigation
about
publications
projects
(current)
CV
teaching
projects
work
Krympa
Proof minimization tool for equational reasoning