Credits

Rudy Matela: original implementation of LeanCheck previously known as "llcheck".

Colin Runciman: pointing out "why not a list of lists?"; improvements in library interface and code; the name "LeanCheck".