Book details
Software Foundations Vol 3: Verified Functional Algorithms
Categories Software engineering
A Coq-based text on implementing and proving functional algorithms correct. It develops algorithmic examples alongside proof techniques, emphasizing executable functional programs and formal correctness arguments.
