Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves
scientific article; zbMATH DE number 5287723
scientific article