# extemp

*extemporaneous*: spoken or done without preparation

`extemp` is a library for managing *temporal automata* as used in
[TESLA](https://www.cl.cam.ac.uk/research/security/ctsrd/tesla) and the
[CADETS](https://www.cl.cam.ac.uk/research/security/cadets/) project.

* Available on [crates.io](https://crates.io/crates/extemp)
* [Documentation](https://cadets.github.io/extemporaneous/extemp)