proof-trust

lean-xray

Lean is a program that checks mathematical proofs. lean-xray shows what those proofs rely on and flags unfinished steps.

Source not currently public · Recorded research exhibit