Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. - Eli Pregerson; Shaheen Cullen-Baratloo; David Chen; Duy Lam; Max Szostak; Lucas Bang (FormaliSE, 2023)