https://github.com/guidanoli/msc-thesis

Formalization of Key Algorithms from LPeg
https://github.com/guidanoli/msc-thesis

Last synced: about 1 month ago
JSON representation

Formalization of Key Algorithms from LPeg

• Host: GitHub
• URL: https://github.com/guidanoli/msc-thesis
• Owner: guidanoli
• License: gpl-3.0
• Created: 2025-04-14T16:59:04.000Z (6 months ago)
• Default Branch: main
• Last Pushed: 2025-05-08T21:39:25.000Z (5 months ago)
• Last Synced: 2025-05-08T22:32:37.980Z (5 months ago)
• Language: TeX
• Size: 328 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Formalization of Key Algorithms from LPeg

This is my Master's thesis.

## Compile main text

```sh

pdflatex main

bibtex main

pdflatex main

pdflatex main

```

## Compile slides

```sh

pdflatex slides

bibtex slides

pdflatex slides

pdflatex slides

```