[Agda] Hanging out with the Lean crowd

Nicolai Kraus nicolai.kraus at gmail.com
Fri Aug 21 00:22:53 CEST 2020


On 20/08/2020 22:28, Jesper Cockx wrote:
> What can be annoying are the people who are convinced non-constructive 
> mathematics is the right tool for *every* job.

Agreed. Those, and the people who are convinced that constructive 
mathematics is the right tool for every job.
-- Nicolai


More information about the Agda mailing list