Stainless’ Internals

For deeper understanding of Stainless and Inox, please consult the code on GitHub or GitLab, as well as papers and PhD dissertations.