Hacker News new | ask | show | jobs
by throwaway999666 3992 days ago
Does Software Foundations assume a less or more advanced background from its readers?
2 comments
solomatov 3991 days ago
Software foundations is very introductory level text on Coq which is very accessible for people without formal proof experience.
link
curryhoward 3992 days ago
Far less, IMO.
link