4 ms·
It's the best (and only) intermediate level Coq book around.
by solomatov 11y ago
It's the best (and only) intermediate level Coq book around.
- throwaway999666 11y agoDoes Software Foundations assume a less or more advanced background from its readers?
- curryhoward 11y agoFar less, IMO.
- solomatov 11y agoSoftware foundations is very introductory level text on Coq which is very accessible for people without formal proof experience.