Giacomo Maletto, Luca Roversi. Certifying expressive power and algorithms of reversible primitive permutations with Lean. J. Log. Algebr. Meth. Program., 136:100923, January 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.