Giters
imandra-ai
/
imandra-stdlib
Standard library for [Imandra](https://imandra.ai)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
11
Issues:
1
Forks:
0
imandra-ai/imandra-stdlib Stargazers
Andrew Meier
andrewdmeier
Simon Cruanes
c-cube
Grant Passmore
grantpassmore
Denis Ignatovich
ignaden
Philip Zucker
philzook58
