Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Bring Your Own MCP
jonwoodlief.com·3d·
Discuss: Hacker News