achlipala / frap

Formal Reasoning About Programs
682Updated 10 months ago

Alternatives and similar repositories for frap:

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