A proof assistant and a dependently-typed language
These are latest builds, but the date on GitHub is frozen due to stupid limitations. Corresponding commit: https://github.com/aya-prover/aya-dev/commit/38f27546e1e31ecd2cbd62da935c4b1e22238667