rems-project / cnLinks

CN separation logic refinement type system for C
22Updated last week

Alternatives and similar repositories for cn

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

Sorting: