/Buggy-Verifier

A post-hoc type checker to ensure code has desired properties that guarantee error free behavior

This repository is not active