provefab

Provefab builds Provefab.

The open core is maintained with Provefab itself. Each pull request below was opened by Provefab from a labelled issue, with the repository's format, lint and test commands and a review by another model family recorded in it. A person decides: merged ones were merged by a person, closed ones were sent back. The evidence is in each pull request.

1 pull request ยท 1 merged