Skip to main content

Library

Resources

How the model works in practice, the language it uses, and where it was proven.