aya-prover

1 tracked repository

☆ 365 TOTAL STARS ⑂ 23 TOTAL FORKS ↗ +4 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)

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

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

Sorted by stars

#1 TRENDING aya-prover/aya-dev Java 2020

A proof assistant and a dependently-typed language

23 ↑ +1 today

From our network