GitHub / imandra-ai / ipl-examples

Imandra Protocol Language example models

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-examples
PURL: pkg:github/imandra-ai/ipl-examples

Stars: 11
Forks: 1
Open issues: 0

License: None
Language:
Size: 117 KB
Dependencies parsed at: Pending

Created at: about 8 years ago
Updated at: 11 months ago
Pushed at: 11 months ago
Last synced at: 22 days ago

Topics: automated-reasoning, finance, fix-engine, fix-protocol, formal-methods, formal-verification, imandra, imandra-markets, trading

Loading...