https://github.com/aerabi/lttt

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

coq type-theory

Last synced: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/aerabi/lttt
• Owner: aerabi
• Created: 2020-06-07T22:32:37.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-05-21T03:52:30.000Z (over 3 years ago)
• Last Synced: 2024-05-02T02:00:37.148Z (8 months ago)
• Topics: coq, type-theory
• Language: Coq
• Homepage:
• Size: 81.1 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 3
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        

# Linear Temporal Type Theory

[![Docker CI][docker-action-shield]][docker-action-link]

[![DOI][doi-shield]][doi-link]

[docker-action-shield]: https://github.com/aerabi/lttt/workflows/Docker%20CI/badge.svg?branch=master

[docker-action-link]: https://github.com/aerabi/lttt/actions?query=workflow:"Docker%20CI"

[doi-shield]: https://zenodo.org/badge/DOI/10.5281/zenodo.4749276.svg

[doi-link]: https://doi.org/10.5281/zenodo.4749276

An implementation of Linear-Time Temporal Type Theory

## Meta

- Author(s):

  - Mohammad-Ali A'RÂBI

- License: [MIT license](LICENSE)

- Compatible Coq versions: Coq 8.7 to 8.11

- Additional dependencies:

  - Quickchick

- Coq namespace: `LTTT`

- Related publication(s):

  - [The Essence of Event-Driven Programming](https://128.232.0.20/~nk480/essence-of-events.pdf) 

  - [Linear Temporal Type Theory for Event-based Reactive Programming](https://www.semanticscholar.org/paper/Linear-Temporal-Type-Theory-for-Event-based-Paykin-Krishnaswami/4b8eccab1340c9d1035728ba5b198eab41ab66f3) 

## Building and installation instructions

The easiest way to install the latest released version of Linear Temporal Type Theory

is via [OPAM](https://opam.ocaml.org/doc/Install.html):

```shell

opam repo add coq-released https://coq.inria.fr/opam/released

opam install coq-lttt

```

To instead build and install manually, do:

``` shell

git clone https://github.com/aerabi/lttt.git

cd lttt

make   # or make -j  

make install

```