abella-prover

1 tracked repository

☆ 101 TOTAL STARS ⑂ 22 TOTAL FORKS ↗ +1 STARS TODAY

★ Add Profile Badge to your GitHub README.md

Auto-Updating

Showcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.

Markdown (Paste into your GitHub Profile README.md)

[![abella-prover Stars on GitHubRepo](https://githubrepo.cloud/badge/dev/abella-prover.svg)](https://githubrepo.cloud/developers/abella-prover)

[![abella-prover Stars on GitHubRepo](https://githubrepo.cloud/badge/dev/abella-prover.svg)](https://githubrepo.cloud/developers/abella-prover)

Sorted by stars

#1 TRENDING abella-prover/abella OCaml 2009

An interactive theorem prover based on lambda-tree syntax

22 ↑ +1 today

From our network