GitHub repository: nyu-acsys/templates-iris
Primary language: Coq
Description: Proofs of concurrent search structure template algorithms in the Iris logic