GitHub repository: mtoohey31/lott
Primary language: Lean
Created: 2024-07-31T04:06:02Z
Description: An ott-like DSL embedded in Lean.