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 90 18

  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

Repositories

Showing 4 of 4 repositories
  • 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 1 GPL-3.0 90 0 0 Updated Nov 27, 2024
  • abella Public

    An interactive theorem prover based on lambda-tree syntax

    abella-prover/abella’s past year of commit activity
    OCaml 90 GPL-3.0 18 37 3 Updated Nov 27, 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 Nov 12, 2024
  • 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…