Imandra Ros vs Evo

EvoImandra Ros
Stars3,04015
Downloads
Dependent Packages
Dependent Repos2
Most Recent Commit5 months ago2 years ago
Total Releases93
Latest ReleaseNovember 14, 2023
Open Issues17n,ull
Licensegpl-3.0apache-2.0
Programming LanguagePythonOCaml