Logicomix - Wikipedia - discu.eu

Reddit

I loved this book. Suggestions for further reading? http://en.wikipedia.org/wiki/logicomix 4 comments 9/10/2012 math

How had I not heard of Logicomix? http://en.wikipedia.org/wiki/logicomix 19 comments 19/3/2010 philosophy

Linking pages

Doing a math assignment with the Lean theorem prover - Andrew Helwer https://ahelwer.ca/post/2020-04-05-lean-assignment/ 32 comments
The Greek AI Ecosystem - The Greek Analyst https://greekanalyst.substack.com/p/the-greek-ai-ecosystem 0 comments

Related searches:

Search whole site: site:en.wikipedia.org

Search title: Logicomix - Wikipedia

See how to search.

Submit link to: