GitHub repository: rebryant/pbip
Primary language: Python
Created: 2022-11-15T16:06:46Z
Description: Support materials for the PBIP proof framework for pseudo-Boolean reasoning