Lurk.lean

A Lean 4 library for interacting with the Lurk Language