GitHub repository: lcarilla/tseytin-transformer
Primary language: TypeScript
Created: 2025-01-25T22:27:59Z
Description: i was too lazy to do this manually for my university homework