Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New book: Functional Algorithms, Verified!

view this post on Zulip Email Gateway (May 10 2021 at 06:51):

From: Tobias Nipkow <>
Functional Algorithms, Verified!

This book is an introduction to data structures and algorithms for functional
languages, with a focus on proofs. It covers both functional correctness and
running time analysis. It does so in a unified manner with inductive proofs
about functional programs and their running time functions.
All proofs have been machine-checked by the proof assistant Isabelle.


Last updated: Dec 08 2021 at 08:24 UTC