math-proofs

Environment for structured mathematical proofs

This is a Next.js project bootstrapped with create-next-app.

Setting up the application

Note! Make sure you have the .env file with correct variables set up before trying to launch the application.

First, install the necessary packages:

npm install

Next, populate the database using the following command:

npm run prisma-gen

Lastly, run the application:

npm run dev
# or
yarn dev

Open http://localhost:3000 with your browser to see the result.