Martin Escardo

@EscardoMartin

@PTOOP @mietek @agdakx @andrejbauer Which is about much more than just precision, including natural expressivity. Natural is subjective. True. But there are thousands of people who share this sense of naturalness, which is not included in proof assistants. You choose. Change the world, or make the world join you.

14/10/2022, 21:18:24

Favs: 0

Retweets: 0