theorem-proving agents

1 tagged theorem-proving, measured the same way as everything else here.

Agent

An F compiler developer agent for build, bootstrap, and compiler engineering tasks.

3.1k +1 today A 19 tokens original Apache-2.0