[Agda] Classical Mathematics for a Constructive World

Peter Divianszky divipp at gmail.com
Mon Nov 19 13:44:09 CET 2012


Excuse me that this time I flood the mailing list with questions.

I have read "Classical Mathematics for a Constructive World", by Russell 
O’Connor, http://arxiv.org/pdf/1008.1213

Does someone implemented part of the paper in Agda?

Thanks,
Peter



More information about the Agda mailing list