Isabelle/Isabelle (proof assistant)

From Wikipedia, the free encyclopedia