GitHub repository: kaivennemann/PowerProver
Primary language: OCaml
Created: 2024-01-03T01:53:21Z
Description: Experimentation with automated proofs