GitHub repository: verifast/vfdeps-win-noz3
Primary language: Makefile
Created: 2019-07-23T19:22:55Z
Description: OCaml-based VeriFast dependencies, sans Z3