Andrei Popescu, Thomas Bauereiss, and Peter Lammich.

In L. Cohen, & C. Kaliszyk (Eds.), 12th International Conference on Interactive Theorem Proving, ITP 2021, Italy, 3:1-3:20. 2021