is-there-a-way-to-guarantee-that-lean-4-proofs-cannot-be-adversarially-tricked

proofassistants.stackexchange.com

saved by: 0 people
related read on: What mathematicians should know about the Lean Theorem Pr... from the discussion