Purely Functional Priority QueueCovers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.
Q is a FieldCovers the properties of rational numbers and introduces the concept of an ordered field in Q.