3 ms·
you'll have to prove equivalence through some Lean4 code perhaps? or some weird clause tree comparisons... good question indeed.
by larodi 12d ago
you'll have to prove equivalence through some Lean4 code perhaps? or some weird clause tree comparisons... good question indeed.