Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] "The QED Project"

view this post on Zulip Email Gateway (Aug 18 2022 at 12:56):

From: Andrzej Mazurkiewicz <andrzej@mazurkiewicz.org>
Hello Everybody.

Mizar has a large mathematical knowledge base.
http://www.mizar.org/

Apart from other requirements (distributed), its mathematical knowledge, being
accumulated for more than two decades, is really impressive.

Regards
Andrzej Mazurkiewicz

Last updated: Jan 04 2025 at 20:18 UTC