ai-free / formal /WordDialect /Stack.lean

Commit History

October 2026 main drop: mirror from GitHub
f5deffb
verified

SNAPKITTYWEST commited on