Skip to content

Prove PA-internalized ZF inconsistency equivalences some zf machines - #20

Open
mo271 wants to merge 4 commits into
mainfrom
pa-zf-internalization
Open

Prove PA-internalized ZF inconsistency equivalences some zf machines#20
mo271 wants to merge 4 commits into
mainfrom
pa-zf-internalization

Merge branch 'pa-foundation' into pa-zf-internalization

1bdd353
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar