Finiteness of Symbolic Derivatives in Lean
Zhuchko, Ekaterina
;
Maarand, Hendrik
;
Veanes, Margus
;
Ebner, Gabriel
16th International Conference on Interactive Theorem Proving (ITP 2025)
2025
/
p. 16:1-16:19
https://doi.org//10.4230/LIPIcs.ITP.2025.16