GitHub repository: mit-pdos/machcoq
Primary language: Haskell
Description: A Gallina implementation in C++17