rems-project / cnLinks

CN separation logic refinement type system for C
13Updated this week

Alternatives and similar repositories for cn

Users that are interested in cn are comparing it to the libraries listed below

Sorting: