Skip to content
@abella-prover

Abella Proof Assistant

The Abella proof assistant project

Pinned Loading

  1. abella abella Public

    An interactive theorem prover based on lambda-tree syntax

    OCaml 88 17

  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

Repositories

Showing 4 of 4 repositories
  • abella Public

    An interactive theorem prover based on lambda-tree syntax

    abella-prover/abella’s past year of commit activity
    OCaml 88 GPL-3.0 17 40 3 Updated Jul 3, 2024
  • abella-prover.org Public

    The web-site for Abella

    abella-prover/abella-prover.org’s past year of commit activity
    HTML 2 3 2 0 Updated Apr 23, 2024
  • PG Public Forked from ProofGeneral/PG

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

    abella-prover/PG’s past year of commit activity
    Emacs Lisp 0 GPL-3.0 86 0 0 Updated Nov 7, 2023
  • abella-pygments Public

    Pygments support for Abella and LambdaProlog

    abella-prover/abella-pygments’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Mar 21, 2023

Top languages

Loading…

Most used topics

Loading…