GitHub repository: tchajed/iris-named-props
Primary language: Rocq Prover
Created: 2021-04-18T15:00:24Z
Description: Named Props for Iris