Skip to content

catalog: record Lean formalization for JSP-000206 - #2155

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

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

catalog: record Lean formalization for JSP-000206

666c270
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs