Giters

imandra-ai / imandra-ros

Imandra ROS

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

roboticsrosimandraocamlformal-verification

This repository is not active

About

Imandra ROS

roboticsrosimandraocamlformal-verification

License:Apache License 2.0

Languages

Language:OCaml 83.3%Language:Jupyter Notebook 8.1%Language:CMake 6.2%Language:Python 2.3%Language:Makefile 0.1%