Check out Proof Wise (@proofwise) on Linkme