Gonzalgo

Unclaimed

by zengineco

Axiom provenance for Lean 4 and Metamath — which step introduced an axiom, and whether the theorem statement required it Website: https://f-keys.com/gonzalgo/

axiom-of-choiceciconstructive-mathematicsdependency-analysisformal-verificationleanlean4mathlibmetamathproof-assistant

Unclaimed listing

Is this your MCP server?

This listing was auto-indexed from the public record. Claim it to edit the page, set compatibility and unlock growth tools. Takes under two minutes.

Claim this server