https://github.com/imandra-ai/imandra-ros
Imandra ROS
https://github.com/imandra-ai/imandra-ros
formal-verification imandra ocaml robotics ros
Last synced: 7 months ago
JSON representation
Imandra ROS
- Host: GitHub
- URL: https://github.com/imandra-ai/imandra-ros
- Owner: imandra-ai
- License: apache-2.0
- Created: 2018-06-19T10:13:56.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2022-01-24T15:51:10.000Z (over 3 years ago)
- Last Synced: 2023-03-02T13:02:21.712Z (over 2 years ago)
- Topics: formal-verification, imandra, ocaml, robotics, ros
- Language: OCaml
- Size: 12.9 MB
- Stars: 15
- Watchers: 12
- Forks: 0
- Open Issues: 0