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 <nipkow@in.tum.de>
Functional Algorithms, Verified!
http://functional-algorithms-verified.org/

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.

Enjoy!
Tobias
smime.p7s


Last updated: Dec 08 2021 at 08:24 UTC