Nikhil Swamy Aseem Rastogi Aymeric Fromherz Denis Merigoux Danel Ahman Guido Martínez SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs. 2021 abs/2111.15149 CoRR https://arxiv.org/abs/2111.15149 db/journals/corr/corr2111.html#abs-2111-15149