Skip to content

Import optimized Infinitary Logic formalization - #399

Open
Vilin97 wants to merge 8 commits into
mainfrom
codex/import-infinitary-logic-2026-09-04
Open

Import optimized Infinitary Logic formalization#399
Vilin97 wants to merge 8 commits into
mainfrom
codex/import-infinitary-logic-2026-09-04

Merge remote-tracking branch 'origin/main' into pr-399

855d277
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar