LeanDB a strongly Typed SQL front end

What happened

Because in Lean 4 your schema, your queries and your migrations can all be types, and the compiler checks all three.

Summary assembled by rule from the sources below

Sources