6 ms·
Does Software Foundations assume a less or more advanced background from its readers?
by throwaway999666 11y ago
Does 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.