Skip to content

Add deeply embedded first-order Peano Arithmetic - #17

Merged
mo271 merged 3 commits into
mainfrom
pa-foundation
Oct 31, 2026
Merged

Add deeply embedded first-order Peano Arithmetic#17
mo271 merged 3 commits into
mainfrom
pa-foundation

Merge branch 'main' into pa-foundation

61a599c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar