https://github.com/aerabi/lttt-report

Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
https://github.com/aerabi/lttt-report

coq logic temporal-logic type-theory

Last synced: about 2 months ago
JSON representation

Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

• Host: GitHub
• URL: https://github.com/aerabi/lttt-report
• Owner: aerabi
• License: cc0-1.0
• Created: 2020-11-11T11:41:27.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2021-05-25T11:40:51.000Z (over 3 years ago)
• Last Synced: 2024-05-02T02:00:40.274Z (8 months ago)
• Topics: coq, logic, temporal-logic, type-theory
• Language: TeX
• Homepage:
• Size: 5.19 MB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# LTTT Report

[![Contributions Welcome](https://img.shields.io/badge/contributions-welcome-%23f7931e.svg)](CONTRIBUTING.md)

Report for "A Basis for Event-Driven Programming" based on Linear Temporal Type Theory

- [The output PDF](out/thesis_main.pdf) ([direct download](https://github.com/aerabi/lttt-report/raw/master/out/thesis_main.pdf))

- [The Coq implementation](https://github.com/aerabi/lttt)

- [The TypeScript implementation](https://github.com/aerabi/lttt-typescript)

## Build

This project is built with PDFLaTeX. To build, one can connect it to Overleaf v2 and use the GitHub sync function. The PDF in the `out` folder must be uploaded manually.

## Credits

This repo(rt) is based on / a _hard fork_ of [`aerabi/msc-thesis`](https://github.com/aerabi/lttt-typescript).