GitHub repository: rcdickerson/ceili
Primary language: Haskell
Description: An extensible framework for working with program logics.