The small, trusted core of a proof assistant that every accepted proof step must reduce to — kept minimal so it's easier to trust.
Continue to AI University →