GitHub repository: walirt/boundless-prover
Primary language: Shell
Description: Run boundless prover in a dockerless environment