search

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

docs: Update GitHub pages #58

Closed jstoobysmith closed 4 months ago

jstoobysmith commented 4 months ago

Updated the GitHub pages site to include a landing page. Currently needs content, but the page works.