Comment Comment by wafflebear The users of Coq and Isabelle are generally people with mathematics degrees who check their work. Not your average programmer. parent wafflebear 8 years ago
