GitHub repository: team-affix/unilog
Primary language: C++
Created: 2024-09-01T01:59:43Z
Description: Proof verification language built on SWI-Prolog.