Finiteness of Symbolic Derivatives in Lean.

Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner

Browse the full ITP paper archive.