Imandra

Tags FUNCTIONAL PROGRAMMING FORMAL METHODS ARTIFICIAL INTELLIGENCE MATHEMATICS OCAML

Reasoning as a Service @ www.imandra.ai

Read publication
100 Followers
Login to like 0
0 reviews

Reviews

No reviews, submit yours below.
Add review

Login to submit your review.