GitHub repository: rebryant/cpog
Primary language: Lean
Description: Tools for certifying the D4 model counter