alphalabs
Description
Hosting home-made software which is mathematically proven to be correct.
We make use of tools like HOL, PVS, ...
Categories
License
Update Notifications
User Reviews
Be the first to post a review of alphalabs!
Hosting home-made software which is mathematically proven to be correct.
We make use of tools like HOL, PVS, ...
Be the first to post a review of alphalabs!