News
9/11 and the Orwellian Redefinition of "Conspiracy Theory" | Scoop...
www.scoop.co.nz
A “conspiracy theory” no longer means an event explained by a conspiracy. Instead, it now means any explanation, or even a fact, that is out of step with the...
Zulip Chat Archive - Lean communityleanprover-community.github.io › stream › new-members › topic
leanprover-community.github.io
mikey liu (Apr at 23:37): hi i'm interested in learning lean and potentially contributing & using it to further automate theorem proving. i hope i ...
sorted by relevance / date