Sciweavers

Share
ITP
2010
179views Mathematics» more  ITP 2010»
8 years 10 months ago
The Isabelle Collections Framework
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
Peter Lammich, Andreas Lochbihler
books