1 problem

Strong-system conjecture. The system $i_\infty EF$ is polynomially equivalent to the strong proof system of $S^1_2$.