3 ms·
Software foundations is very introductory level text on Coq which is very accessible for people without formal proof experience.
by solomatov 11y ago
Software foundations is very introductory level text on Coq which is very accessible for people without formal proof experience.