hs-to-coq
latest

Contents:

  • Installation
  • Quickstart
  • Edit Files
  • Identifiers and Notation
  • Interface files
hs-to-coq
  • Docs »
  • Search
  • Edit on GitHub

© Copyright 2018, Stephanie Weirich, Joachim Breitner, Antal Spector-Zabusky Revision 777a301d.

Built with Sphinx using a theme provided by Read the Docs.