GitHub repository: DavidAspinall/HipCam
Primary language: OCaml
Description: Tools for recording Hiproofs in hol-light and visualising them in a web browser