GitHub repository: machine-intelligence/tt-provability
Primary language: Agda
Description: Systems for doing provability logic in type theory