Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@francoisschwarzentruber
francoisschwarzentruber committed Feb 20, 2024
1 parent cdc2f16 commit 010eaaf
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,5 +4,5 @@ This tool provides exercices in formal logic, more precisely for proof systems.

## Building the tool
Be sure to have installed tsc, the TypeScript compiler.
Run tsc in the root folder.
The release version is then in the folder dist.
Run `tsc` in the root folder.
The release version is then in the folder `dist`. You may launch it with `python -m http.server`.

0 comments on commit 010eaaf

Please sign in to comment.