Scientific

Scientific claims

This industry page is currently a placeholder.

StartClaims is exploring how Lean proofs and their dependencies could help make claims about mathematical priority, authorship, contribution, and formal results more inspectable. More detail will be added as this work develops.