Skip to content

@abella-prover Abella Proof Assistant

Change the repository type filter

All

    Repositories list

    4 repositories

    • abella

      Public
      An interactive theorem prover based on lambda-tree syntax
      lambda-calculusmeta-theoryinteractive-theorem-proving
      OCaml
      •
      GNU General Public License v3.0
      •18•89•39•3•Updated Oct 14, 2024Oct 14, 2024

    • abella-prover.org

      Public
      The web-site for Abella
      HTML
      •3•2•2•0•Updated Aug 28, 2024Aug 28, 2024

    • 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
      •87•1•0•0•Updated Nov 7, 2023Nov 7, 2023

    • abella-pygments

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