Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Void Safety Formalization

Analyzed about 3 hours ago

Machine-checkable proofs of void safety formalized in Isabelle/HOL.

0 lines of code

0 current contributors

over 7 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in language not available

Licenses: CC_BY-NC-...

Analyzed about 3 hours ago

A set of benchmark examples to test and compare different null safety solutions for their soundness and expressiveness.

1.6K lines of code

1 current contributors

about 3 years since last commit

1 users on Open Hub

Inactive

I Use This

Licenses: CC_BY-NC-...