[Agda] Re: primality definition
N. Raghavendra
raghu at hri.res.in
Sat Mar 7 22:19:27 CET 2015
At 2015-03-08T00:44:47+04:00, Sergei Meshveliani wrote:
>> Have you put your proofs on the Web?
>
>
> Do you mean proofs about generic IsPrime, Factorization etc. ?
Yes, but I am also interested in any algebra proofs in Agda.
> The thing is not ready yet. I hope to release it in 2015.
Thanks, I look forward to that!
Cheers,
Raghu.
--
N. Raghavendra <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/
More information about the Agda
mailing list