Simon Guilloud, Sankalp Ghambir, and Viktor Kunčak. Lisa -- a proof assistant embedded in scala. In Interactive Theorem Proving (ITP), 2023.

[ bib ] Back