Skip to content
Yiping Su edited this page Apr 13, 2020 · 6 revisions

Overview

Isabelle requires two main components to run:

  1. External Linux Server
  2. PostgreSQL

Database integration is already handled by the source code, so the only database setup you will need to complete is installing and migrating data files into a PostgreSQL database on your external server.

Contents