philzook58 / knuckledragger

A Low Barrier Proof Assistant
78Updated last week

Alternatives and similar repositories for knuckledragger:

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