{"id":13682228,"url":"https://github.com/abella-prover/abella","last_synced_at":"2025-04-30T07:31:00.229Z","repository":{"id":767664,"uuid":"449184","full_name":"abella-prover/abella","owner":"abella-prover","description":"An interactive theorem prover based on lambda-tree syntax","archived":false,"fork":false,"pushed_at":"2024-11-09T13:27:48.000Z","size":4552,"stargazers_count":90,"open_issues_count":40,"forks_count":18,"subscribers_count":10,"default_branch":"master","last_synced_at":"2024-11-09T14:28:10.029Z","etag":null,"topics":["interactive-theorem-proving","lambda-calculus","meta-theory"],"latest_commit_sha":null,"homepage":"https://abella-prover.org/","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/abella-prover.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":"support/.gitignore","governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2009-12-25T23:36:20.000Z","updated_at":"2024-11-09T13:27:51.000Z","dependencies_parsed_at":"2024-01-14T15:25:40.830Z","dependency_job_id":"b12ea75c-fb58-4822-a2cc-bca93b792603","html_url":"https://github.com/abella-prover/abella","commit_stats":null,"previous_names":[],"tags_count":33,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/abella-prover%2Fabella","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/abella-prover%2Fabella/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/abella-prover%2Fabella/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/abella-prover%2Fabella/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/abella-prover","download_url":"https://codeload.github.com/abella-prover/abella/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":224201915,"owners_count":17272664,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["interactive-theorem-proving","lambda-calculus","meta-theory"],"created_at":"2024-08-02T13:01:42.560Z","updated_at":"2024-11-12T01:31:24.002Z","avatar_url":"https://github.com/abella-prover.png","language":"OCaml","funding_links":[],"categories":["OCaml"],"sub_categories":[],"readme":"Quick Start\n===========\n\nThe easiest way to install Abella is using [OPAM][opam] (version 2.1+).\n\n[opam]: https://opam.ocaml.org\n\n1. Go to the topmost directory of the clone of this repository,\n   i.e., the location of this very `README.md` file.\n2. Run: `opam pin abella .` (note the final period)\n3. When prompted by OPAM, say `yes` to install Abella.\n4. Whenever you do a `git pull`, also do: `opam reinstall abella`.\n\nTo uninstall Abella using OPAM, do:\n\n1. Run: `opam remove abella`.\n2. Then run: `opam unpin abella`.\n\n\nMore Information\n================\n\nUse the following walkthrough for an introduction to using Abella:\n\n  https://abella-prover.org/walkthrough.html\n\nMore information on Abella is available at\n\n  https://abella-prover.org/\n\n\nBugs, Feature Requests, and Issues\n==================================\n\nPlease report all bugs, feature requests, and issues on the GitHub\nissue tracker for Abella, available from:\n\n  https://github.com/abella-prover/abella/issues\n\nDiscussion of Abella and its uses happens on this mailing list.\n\n  http://groups.google.com/group/abella-theorem-prover\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fabella-prover%2Fabella","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fabella-prover%2Fabella","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fabella-prover%2Fabella/lists"}