Unclaimed project
Are you a maintainer of stainless? Claim this project to take control of your public changelog and roadmap.
Changelog
Verification framework and tool for higher-order Scala programs
Vote on features you'd like to see
No planned items yet
Nothing in progress
No completed items yet