Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Makefile.conf
Find file
Blame
History
Permalink
ExcludedMiddleNonJ : direct proof that EM isn't provable in LJ
· 1728b23a
Pierre Letouzey
authored
Aug 21, 2020
1728b23a