GitHub repository: vzaliva/coq-log-analysis
Primary language: OCaml
Created: 2017-02-26T17:45:04Z
Description: Parse Coq log files and plot resolution trees