← All repos

philzook58/knuckledragger

View on GitHub ↗ ★ 181 Python

A Low Barrier Proof Assistant

6 mentions on Hacker News by 1 person: 0 stories, 6 comments · first 2024-12-24 · latest 2025-09-30