This release describes the first version of the public API for ONijn.
Please check https://deividrvale.github.io/nijn-coq-script-generation/onijn/index.html for more details on this release.
This version is attached, as software artifact, to the paper "Certifying Higher-Order Polynomial Interpretation", by Niels van der Weide, Deivid Vale, and Cynthia Kop.