Writing smart contracts with ConCert

Beyond what is available in the ConCert repo, are there any tutorials available that describe how to write smart contracts with ConCert and then extract them into Concordium-compliant Rust code>


Also you should treat ConCert as a research project with all the caveats that entails. There are no claims about suitability for production at this point in time.