Refinement Type Refutations
How can a verification tool explain why a program fails to type check?
Posts
Research explainers, technical articles, project deep dives, and longer-form group writing.
Research explainers, technical articles, project deep dives, and longer-form group writing.
How can a verification tool explain why a program fails to type check?