Pinned Loading

1. HOL-Theorem-Prover/HOL HOL-Theorem-Prover/HOL Public

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML 749 172

2. MSetsExtra MSetsExtra Public

   Forked from fireeye/MSetsExtra

   A Coq Library for Efficiently Executable Sets

   HTML 2

3. ITP-course ITP-course Public

   Material for an Interactive Theorem Proving Course focusing on HOL 4

   PostScript 8

4. kochbuch kochbuch Public

   Ein einfaches Kochbuch basierend auf PHP, Git und Pandoc

   PHP 5