Hacker News
Follow

Metamath Zero, a bootstrapping theorem prover
news.ycombinator.com/item?id=2

· · HackerNewsBot · 0 · 3 · 2
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.

Trending now

Resources

Developers

What is Mastodon?

qoto.org

More…

v3.5.19-qoto · Privacy policy