Skip to content

add(FirstOrder): Church's Undecidability Theorem#491

Draft
SnO2WMaN wants to merge 4 commits into
masterfrom
church-theorem
Draft

add(FirstOrder): Church's Undecidability Theorem#491
SnO2WMaN wants to merge 4 commits into
masterfrom
church-theorem

Merge branch 'master' into church-theorem

c18de4b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.