logoalt Hacker News

andoando • 07/31/2025 • 1 reply • view on HN

Is there a standard library/repository of all existing mathematical proofs one can add to?

Replies

ants_everywhere • 07/31/2025

There are a few.

The lean one is at https://github.com/leanprover-community/mathlib4