GitHub repository: phadej/dec
Primary language: Haskell
Created: 2022-08-21T10:48:11Z
Description: Decidable propositions