GitHub repository: stackOverSwag/TautologiesPF
Primary language: OCaml
Created: 2024-04-04T21:01:34Z
Description: FNC and Tautology Detection with Mathurin