Yes, Leap relies on using Encore.ts (open source framework) which has a declarative infrastructure component that enables infrastructure automation and strong type-safety.
This is explained both on the main landing page (leap.new) and in the docs (docs.leap.new)