Skip to main navigation Skip to search Skip to main content

Extensions to the comprehensive framework for saturation theorem proving

  • Jasmin Christian Blanchette
  • , Sophie Tourret

Research output: Web publication or Non-textual form › Web publication or Website › Academic

Original languageEnglish
Place of PublicationArchive of Formal Proofs
Publication statusPublished - 2020

Persistent URL (handle)

Cite this