Giters
Abella Proof Assistant (abella-prover)

Abella Proof Assistant

abella-prover

Geek Repo

The Abella proof assistant project

Home Page:https://abella-prover.org

Github PK Tool:Github PK Tool

Abella Proof Assistant's repositories

abella

An interactive theorem prover based on lambda-tree syntax

Language:OCamlLicense:GPL-3.0Stargazers:87Issues:10Issues:137

abella-prover.org

The web-site for Abella

Language:HTMLStargazers:2Issues:0Issues:0

abella-pygments

Pygments support for Abella and LambdaProlog

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

PG

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

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0