Makers/acornprover

acornprover

acornprover

The acorn theorem prover.

1projects59total stars37Claude commitsMember since May 2, 2026

Projects (1)

acornprover/acornlib

Acorn's standard library of mathematical facts.

5923Shell1mo ago37 Claude commits