An Intuitionistic Micro Proof Assistant 0 ▲ Hey There Buddo! 1 hour ago · Tech · hide · 0 comments I’ve been tinkering on a solver-oriented interactive proof assistant as a library called Knuckledragger https://github.com/philzook58/knuckledragger . No comments yet. Log in to reply on the Fediverse. Comments will appear here.
