Skip to content

Latest commit

 

History

History
7 lines (5 loc) · 206 Bytes

README.md

File metadata and controls

7 lines (5 loc) · 206 Bytes

DOI

Installation

  • Make sure to have Coq installed
  • coq_makefile -f _CoqProject -o Makefile
  • make