GitHub repository: rudi-cilibrasi/vitefolts
Primary language: TypeScript
Description: vitefolts First Order Logic Typescript theorem prover