Pinned Loading

1. abella abella Public

   An interactive theorem prover based on lambda-tree syntax

   OCaml 98 20

2. abella-prover.org abella-prover.org Public

   The web-site for Abella

   HTML 2 3

3. PG PG Public

   Forked from ProofGeneral/PG

   This is a fork of PG that has support for Abella. Please follow the 'abella' branch.

   Emacs Lisp 1