philzook58 / knuckledragger

A Low Barrier Proof Assistant
75Updated this week

Alternatives and similar repositories for knuckledragger:

Users that are interested in knuckledragger are comparing it to the libraries listed below