Top
New
Extrinsic termination proofs for well-founded recursion in Lean
by
JNRowe
on 3/11/2025, 9:43:53 AM
with
0
comments