{{stub}}{{language|LSTS}}

LSTS is a proof assistant and maybe a programming language.

LSTS as a programming language is a strictly typed flavor of functional programming, inspired by Coq, ML, and Haskell.