LISA (LISA Is Sets Automated) is a proof assistant based on first-order logic sequent calculus and set theory.The post LISA (LISA Is Sets Automated) – proof assistant appeared first on LinuxLinks.