M
onad_
N
ormalisation Dependents
2024
Approximate Model Counting
by
Yong Kiam Tan
and
Jiong Yang
Mar 15
2020
Skip Lists
by
Max W. Haslbeck
and
Manuel Eberl
Jan 09
2018
Randomised Binary Search Trees
by
Manuel Eberl
Oct 19
2017
CryptHOL
by
Andreas Lochbihler
May 05