Imandra Inc. documentation See: https://docs.imandra.ai These docs are generated by jekyll from the gh-pages-src branch - master is just used to host the static output.