Skip to main content

How does auto-approving proofs work?