 id="toc-stan-license" class="nav-link" data-scroll-target="#stan-license">Stan license</a></li>
  <li><a href="#boost-license" id="toc-boost-license" class="nav-link" data-scroll-target="#boost-license">Boost license</a></li>
  <li><a href="#eigen-license" id="toc-eigen-license" class="nav-link" data-scroll-target="#eigen-license">Eigen license</a></li>
  <li><a href="#sundials-license" id="toc-sundials-license" class="nav-link" data-scroll-target="#sundials-license">SUNDIALS license</a></li>
  <li><a href