Sign inSign up

aya-prover/aya-dev

A proof assistant and a dependently-typed language

JavaStars 344Forks 23Watchers 344Open issues 49License MIT License
Details
仓库信息
Owneraya-prover
Homepagehttps://www.aya-prover.org
GitHubhttps://github.com/aya-prover/aya-dev
Last pushed2025-12-13
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--