Skip to content

catalog: record Lean formalization for JSP-000236 - #2174

Closed
dcdreamy-code wants to merge 1 commit into
TheJustinSunPrize:mainfrom
dcdreamy-code:jsp-000236-formalization
Closed

catalog: record Lean formalization for JSP-000236#2174
dcdreamy-code wants to merge 1 commit into
TheJustinSunPrize:mainfrom
dcdreamy-code:jsp-000236-formalization

Commits

  1. Commits on Sep 20, 2026