https://github.com/bor0/bsc-thesis
My second bachelor's thesis
https://github.com/bor0/bsc-thesis
Last synced: 4 months ago
JSON representation
My second bachelor's thesis
- Host: GitHub
- URL: https://github.com/bor0/bsc-thesis
- Owner: bor0
- License: other
- Created: 2022-08-05T15:18:13.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2022-08-26T10:39:06.000Z (almost 4 years ago)
- Last Synced: 2025-07-23T00:07:13.068Z (11 months ago)
- Language: TeX
- Size: 555 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
Implementing a programming language and a theorem prover
========================================================
Welcome to the repository of my second Bachelor's thesis. I worked on this in order to improve my GPA over my first Bachelor's thesis.
Currently, the only supported language is Macedonian, but feel free to fork and translate it to other languages.
Installation setup:
1. Update brew and install pandoc: `brew update && brew install pandoc`
2. Install mactex from https://www.tug.org/mactex/
3. Run `./build.sh` to build the thesis
This thesis is dedicated to my family, especially my wife Dijana, and our kids.
Boro Sitnikovski, 2022