uiuc-arc / FANC

FANC is a tool for the proof transfer of incomplete verification
11Updated 3 years ago

Alternatives and similar repositories for FANC:

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