GitHub repository: Cartus/AVeriTeC
Primary language: JavaScript
Created: 2021-07-19T14:15:47Z
Description: Automated Verification of Textual Claims