c

cli-impl

The Aya proof assistant
https://www.aya-prover.org
MIT
Tesla (Yinsen) Zhang Kiva Oyama Xy Ren Darkflames tsao-chi Luna Xin Shuxian Wang Hoshino Tented
assistant proof
Aggregated version Version Update time
0.30 0.30.0 Jan 04, 2024
0.29 0.29.999 Dec 13, 2023
0.29.4 Dec 13, 2023
0.29.3 Dec 02, 2023
0.29.2 Nov 08, 2023
0.29.1 Jun 01, 2023
0.29 May 06, 2023
0.28 0.28 Mar 02, 2023
8 Records