Tool for suggesting lemma names in Coq verification projects
created at April 19, 2020, 1:04 a.m.
7 +0
18 +0
5 +0