Space: AProver/aprover
title: AProver
sdk: docker
license: mit
short_description: Chat with an agentic model checker for C
Tags: docker, region:us