Papers

  1. Isabelle/Spartan — A Dependent Type Theory Framework for Isabelle Preprint arXiv