What is it all about?
This library supply a basis for reasoning on randomised algorithms in the proof assistant Coq.
Key Features
can be compiled using Coq version V8.3
Pricing
Yearly
Monthly
Lifetime
Free
Freemium
Trial With Card
Trial No Card
By Quote
Description
see site
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
){kind=logo}
Top DiscoverSDK Experts
Jacques GOUIMENOU
I am currently Datascientist. Type of business or sector is: industries, health sector, finance, etc
Multimedia | Computer Vision and 25 more
View Profile
Esma Rucolli
Engineering.....my dream 💖
Hardware and RT | General Libraries and 87 more
View Profile
Interested in becoming a DiscoverSDK Expert? Learn more
X
Compare Products
Select up to three two products to compare by clicking on the compare icon () of each product.
{{compareToolModel.Error}}Now comparing:
{{product.ProductName | createSubstring:25}} X