DEVELOPMENT.md

Developer documentation

Getting started

Clone the repo:

git clone [email protected]:tbitai/ruzsa.git

Install dependencies:

npm install

Build in development mode and start LiveReload development server:

npm run dev

Testing

A good general test case is to prove the first exercise from Fitch's first-order video tutorial (available on the Openproof Courseware website's video tutorials page):

$$\newcommand{\Tet}{\mathrm{Tet}} \newcommand{\Small}{\mathrm{Small}} & ∃x\ \Tet(x) \\ & ∀x\ (\Tet(x) → \Small(x)) \\ & ∴\ ∃x\ \Small(x) \\$$

Version bumping

1. Increase "version" in package.json.
2. Add new section to RELEASES.md, following Keep a Changelog and the conventions of earlier releases' notes.
3. git tag new version.

Deploying

Build in production mode:

npm run build

Deploy to production...

npm run deploy-production

... or to staging:

npm run deploy-staging

Documentation

The documentation is under the docs directory. In the following commands we assume that's the current directory.

Set up environment according to .readthedocs.yml, installing requirements (Sphinx etc.):

mkvirtualenv ruzsa-docs -p python3.8 -r requirements.txt 

Build:

./build_html.sh

Continuous deployment is set up to Read the Docs. On every push to GitHub, deployment is triggered. Two versions are deployed:

• /en/stable — the commit with the highest stable (i.e., non pre-release) version tag.
• /en/latest — the latest commit on master. This version is hidden, but it can be accessed via the URL (well, or from here 🤓).