Pinned Loading

1. vprover/vampire vprover/vampire Public

   The Vampire Theorem Prover

   C++ 371 62

2. scala-workflow scala-workflow Public

   Boilerplate-free syntax for computations with effects

   Scala 176 13

3. awesome-self-reference awesome-self-reference Public

   A curated list of examples of self-reference in art, science, and technology

   265 8

4. turing-complete-iceberg turing-complete-iceberg Public

   The "X is Turing-complete" Iceberg meme

   HTML 1

5. atp atp Public

   Haskell interface to automated theorem provers

   Haskell 9

6. tptp tptp Public

   Parser and pretty printer for the TPTP language

   Haskell 7 2