GitHub repository: py-typedlogic/py-typedlogic
Primary language: Python
Created: 2024-09-20T00:28:33Z
Description: Logic plus python types