https://mintlify.wiki/paulch42/lean-spec/concepts/lean-as-spec-language 2026-07-27T12:29:40.826Z https://mintlify.wiki/paulch42/lean-spec/concepts/subtypes-and-dependent-types 2026-07-27T12:29:40.825Z https://mintlify.wiki/paulch42/lean-spec/concepts/types-and-propositions 2026-07-27T12:29:40.824Z https://mintlify.wiki/paulch42/lean-spec/examples/flight-planning 2026-07-27T12:29:40.824Z https://mintlify.wiki/paulch42/lean-spec/examples/graph 2026-07-27T12:29:40.823Z https://mintlify.wiki/paulch42/lean-spec/examples/knapsack 2026-07-27T12:29:40.828Z https://mintlify.wiki/paulch42/lean-spec/examples/quotrem 2026-07-27T12:29:40.827Z https://mintlify.wiki/paulch42/lean-spec/examples/sort 2026-07-27T12:29:40.861Z https://mintlify.wiki/paulch42/lean-spec/examples/tmi 2026-07-27T12:29:40.863Z https://mintlify.wiki/paulch42/lean-spec/introduction 2026-07-27T12:29:40.818Z https://mintlify.wiki/paulch42/lean-spec/quickstart 2026-07-27T12:29:40.821Z https://mintlify.wiki/paulch42/lean-spec/reference/fpl/core 2026-07-27T12:29:40.819Z https://mintlify.wiki/paulch42/lean-spec/reference/fpl/field 2026-07-27T12:29:40.830Z https://mintlify.wiki/paulch42/lean-spec/reference/fpl/flight 2026-07-27T12:29:40.822Z https://mintlify.wiki/paulch42/lean-spec/reference/fpl/message 2026-07-27T12:29:40.817Z https://mintlify.wiki/paulch42/lean-spec/reference/fpl/state 2026-07-27T12:29:40.814Z https://mintlify.wiki/paulch42/lean-spec/reference/geo 2026-07-27T12:29:40.822Z https://mintlify.wiki/paulch42/lean-spec/reference/temporal 2026-07-27T12:29:40.816Z https://mintlify.wiki/paulch42/lean-spec/reference/util 2026-07-27T12:29:40.815Z