GitHub - robblanco/abella: An interactive theorem prover based on lambda-tree syntax

robblanco / abella Public

forked from abella-prover/abella

Notifications You must be signed in to change notification settings
Fork 0
Star 0

An interactive theorem prover based on lambda-tree syntax

abella-prover.org/

GPL-3.0 license

0 stars 17 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1,024 Commits
emacs		emacs
examples		examples
src		src
.gitignore		.gitignore
.merlin		.merlin
.ocamlinit		.ocamlinit
CHANGES		CHANGES
COPYING		COPYING
Makefile		Makefile
README		README
_tags		_tags
myocamlbuild.ml		myocamlbuild.ml

Repository files navigation

Quick Start
===========

Compile Abella by running "make" from the root directory. This will
create the binary "abella" (on Unix-like systems, including Mac OS X),
or "abella.exe" (on Windows). This binary can be freely copied
anywhere.

Use the following walkthrough for an introduction to using Abella:

  http://abella-prover.org/walkthrough.html


More Information
================

More information on Abella is available at

  http://abella-prover.org/


Bugs, Feature Requests, and Issues
==================================

Please report all bugs, feature requests, and issues on the GitHub
issue tracker for Abella, available from:

  https://github.com/abella-prover/abella/issues


Discussion of Abella and its uses happens on this mailing list.

  http://groups.google.com/group/abella-theorem-prover