[Agda] Hanging out with the Lean crowd

mechvel at scico.botik.ru mechvel at scico.botik.ru
Fri Aug 21 15:38:11 CEST 2020


On 2020-08-21 08:18, Martin Escardo wrote:
> You may wish to check Andrej Bauer's paper
> http://math.andrej.com/2016/10/10/five-stages-of-accepting-constructive-mathematics/
> 

It looks good, interesting.
Thank you.

--
SM


More information about the Agda mailing list