F* is a hybrid verification-oriented programming language. This means that it not only has the expressivity of interactive theorem provers based on dependent types, but thanks to its SMT support it can also automatically prove many properties.
2
60 reads
CURATED FROM
IDEAS CURATED BY
The idea is part of this collection:
Learn more about computerscience with this collection
How to analyze churn data and make data-driven decisions
The importance of customer feedback
How to improve customer experience
Related collections
Similar ideas
Whenever a company gets consumers to refer to their product using branded terminology instead of a generic description, they are drawing them into their own community.
Many companies use this technique. Starbucks has not only a branded vocabulary but also a system for teac...
The Jülich scientists are the first ever to have constructed a scanning tunnelling microscope using this technique. “The new cooling technology has several practical advantages. Not only does it improve the imaging quality, but the operation of the whole instrument and the entire setup are simpli...
Everything we've learned about Mars over the last century suggests that the planet was once able of hosting ecosystems.
Read & Learn
20x Faster
without
deepstash
with
deepstash
with
deepstash
Personalized microlearning
—
100+ Learning Journeys
—
Access to 200,000+ ideas
—
Access to the mobile app
—
Unlimited idea saving
—
—
Unlimited history
—
—
Unlimited listening to ideas
—
—
Downloading & offline access
—
—
Supercharge your mind with one idea per day
Enter your email and spend 1 minute every day to learn something new.
I agree to receive email updates