We don't know any projects categorized as refinement-types yet.

Coq refinement-types related posts

• Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?

  2 projects | /r/rust | 4 Jul 2023

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

Do not miss the trending Coq projects with our weekly report!