Docs: Add reference file

HEPLean / HepLean

A project to digitalise results from high energy physics into Lean.

https://heplean.github.io/HepLean/

Apache License 2.0

56 stars 4 forks source link

Closed jstoobysmith closed 3 months ago

jstoobysmith commented 3 months ago

Added reference file, and changed the name of the doc directory to docs.