Receipts

Every checked fact, with the statement the machine saw.

The claim in words, the exact statement checked, the Lean theorem name and who proved it. Click a row for the whole receipt.

170 facts · 142 kernel-proven · 28 arithmetic-checked