lffi

A simpe package to explore the use of the Lean FFI.