WikiLeanRecent changes · Proposals · Flags · Stats · About

Revision history — Proof theory

3 revisions, newest first.

WhenEditorAnnotationsComment
2026-07-20 07:41 UTCWikiLean Pipeline26wp-update:stage0:b2857f67diff
2026-06-11 08:44 UTCWikiLean Pipeline26id backfilldiff
2026-06-10 01:12 UTCsystem26orphan refresh import