Proof pearl: Purely functional, simple and efficient priority search trees and applications to Prim and Dijkstra. (English) Zbl 07649972
Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 23, 18 p. (2019).
MSC:
68P05