Before working with Roc, the speaker worked extensively with Isabelle, which is based on simple type theory.

“Uh, and that is in a proof assistant known as Roc. Uh, and Roc is based on dependent type theory. Um, uh, before that I had worked with Isabelle extensively, which is a proof assistant based on, uh, on a simpler logical framework called simple type theory.”