Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Imandra Inc
company
Verified
https://www.imandra.ai
imandra_ai
imandra_ai
Activity Feed
Follow
2
AI & ML interests
Automated reasoning and neurosymbolic AI
Team members
2
models
0
None public yet
datasets
1
Imandra/code_contests
Viewer
•
Updated
Aug 29
•
12.7k
•
446