lott An ott-like DSL embedded in Lean. Currently a WIP. References Sewell, Peter, et al. "Ott: Effective tool support for the working semanticist." Journal of functional programming 20.1 (2010): 71-122.