3 citations · 3 across the 1 of their papers we have counts for
1 paper
Jan van Brügge
Formal reasoning about the time complexity of algorithms and data structures is usually done in interactive theorem provers like Isabelle/HOL. This includes reasoning about amortiz…