A new niche where forth's qualities shine is smart contracts. Michelson, the language for smart contract on the tezos blockchain is forth like. It is a pleasu

A new niche where forth's qualities shine is smart contracts. Michelson, the language for smart contract on the tezos blockchain is forth like. It is a pleasure to work with and it is relaricely easy to prove non trivial properties of a specific program.