Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
https://github.com/abella-prover/abella
interactive-theorem-proving lambda-calculus meta-theory
Last synced: 25 days ago
JSON representation
An interactive theorem prover based on lambda-tree syntax
- Host: GitHub
- URL: https://github.com/abella-prover/abella
- Owner: abella-prover
- License: gpl-3.0
- Created: 2009-12-25T23:36:20.000Z (over 14 years ago)
- Default Branch: master
- Last Pushed: 2024-05-09T08:13:19.000Z (2 months ago)
- Last Synced: 2024-05-09T09:30:14.381Z (2 months ago)
- Topics: interactive-theorem-proving, lambda-calculus, meta-theory
- Language: OCaml
- Homepage: https://abella-prover.org/
- Size: 4.33 MB
- Stars: 87
- Watchers: 10
- Forks: 17
- Open Issues: 42
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE
- Support: support/.gitignore
Lists
- awesome-stars - abella-prover/abella - An interactive theorem prover based on lambda-tree syntax (OCaml)
README
Quick Start
===========The easiest way to install Abella is using [OPAM][opam] (version 2.1+).
[opam]: https://opam.ocaml.org
1. Go to the topmost directory of the clone of this repository,
i.e., the location of this very `README.md` file.
2. Run: `opam pin abella .` (note the final period)
3. When prompted by OPAM, say `yes` to install Abella.
4. Whenever you do a `git pull`, also do: `opam reinstall abella`.To uninstall Abella using OPAM, do:
1. Run: `opam remove abella`.
2. Then run: `opam unpin abella`.More Information
================Use the following walkthrough for an introduction to using Abella:
https://abella-prover.org/walkthrough.html
More information on Abella is available at
https://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