Skip to content

@abella-prover Abella Proof Assistant

Change the repository type filter

All

    Repositories list

    4 repositories

    • abella-prover.org

      Public
      The web-site for Abella
      HTML
      •3•2•2•0•Updated Feb 11, 2026Feb 11, 2026

    • abella

      Public
      An interactive theorem prover based on lambda-tree syntax
      lambda-calculusmeta-theoryinteractive-theorem-proving
      OCaml
      •
      GNU General Public License v3.0
      •20•98•38•3•Updated Jan 25, 2026Jan 25, 2026

    • PG

      Public
      This is a fork of PG that has support for Abella. Please follow the 'abella' branch.
      Emacs Lisp
      •
      GNU General Public License v3.0
      •100•1•0•0•Updated Nov 27, 2024Nov 27, 2024

    • abella-pygments

      Public
      Pygments support for Abella and LambdaProlog
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 21, 2023Mar 21, 2023