Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
BSD 2-Clause "Simplified" License
80 stars 17 forks source link

Add authors files #179

Open Gbury opened 1 year ago

Gbury commented 1 year ago

Add an authors file (or similar) to better indicate the participants to this project (including adding OCamlPro in copyrights headers or something similar, given that most of my recent work on dolmen has been during my work hours).