Sort:  

That is correct. They have a sample smart contract made, a whitepaper, and posts explaining the theory behind their design decisions.