elevator

v1.0.0

Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev//badges/elevator.json

A Simple Elevator System

elevator teaching

No README available for this crate.

Install

Globally install this crate:

alr install elevator

Add to your project:

alr with elevator

Crate Information

Versions

v1.0.0

Authors

Thai Son Hoang

Maintainers

Maintainers (GitHub pseudo)

Release Date

2 years ago

First Release

3/21/2023

License

Links

Website Repository

Statistics

Dependencies: 1

Dependents: 0

Versions: 1

Dependencies

gnatprove^12.1.1