jspahrsummers / correct-behavior-through-type-safety

Talk about using types to prove correctness
15Updated 9 years ago

Related projects

Alternatives and complementary repositories for correct-behavior-through-type-safety