Pinned Loading

1. hermes hermes Public

   OCaml

2. nijn-coq-script-generation nijn-coq-script-generation Public

   OCaml module of Nijn to generate coq scripts for checking termination proofs of higher-order rewriting systems.

   OCaml

3. unb-thesis-template unb-thesis-template Public

   Template utilizado pelo departamento de matemática como modelo de dissertações e teses de doutorado.

   PostScript 2 4

4. first-order-rewriting first-order-rewriting Public

   OCaml

5. horus horus Public

   Higher-Order Rewriting Tool

   Haskell

6. wanda wanda Public

   Forked from hezzel/wanda

   a higher-order termination tool

   C++