WikiLeanRecent changes · Proposals · Flags · Stats · About

Revision history — Propositional calculus

1 revision, newest first.

WhenEditorAnnotationsComment
2026-07-03 05:45 UTCWikiLean Pipeline73ai-create:b02c9918