Formally Verified Arguments of Knowledge in Lean - View it on GitHub