WikiLeanRecent changes · Proposals · Flags · Stats · About

Revision history — Curry–Howard correspondence

1 revision, newest first.

WhenEditorAnnotationsComment
2026-07-03 05:58 UTCWikiLean Pipeline34ai-create:c1178d3e