Infrastructure setup

[Dahoas]

Setup (put together guide) for interacting with formal language (Lean)

[justinchiu-cohere]

i will take a stab at this over the weekend