MathDB1 problem
- 0 votes0 replies0 views
The broad applicability conjecture for cyclic-to-inductive proof translations
The methods of Sprenger and Dam and the authors' refinement concern proof translations between cyclic and inductive systems. Applicability conjecture. Both the method of Sprenger a…