-stan-are-semi-automatic" id="toc-both-bugs-and-stan-are-semi-automatic" class="nav-link" data-scroll-target="#both-bugs-and-stan-are-semi-automatic">Both BUGS and Stan are semi-automatic</a></li>
  <li><a href="#licensing" id="toc-licensing" class="nav-link" data-scroll-target="#licensing">Licensing</a></li>
  <li><a href="#interfaces" id="toc-interfaces" class="nav-link" data-scroll-target="#interfaces">Interfaces</a></li>
  <li><a href="#platforms" id="toc-platforms" class="nav-link" data-scroll-target="