[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