DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updated docs

Browse source
This commit is contained in:
jstoobysmith 2024-04-17 08:48:09 -04:00
parent 726c1bd36e
commit a7ecefc6a5
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -6,6 +6,10 @@ Aim of this project:
- Keep the database up-to date with developments in MathLib4.
- Create github workflows of relevence to the high energy physics community.
The documentation for this project can be found at:
https://heplean.github.io/HepLean/
To learn more about this project see:
https://leanprover.zulipchat.com/#narrow/stream/395462-Natural-sciences/topic/Anomaly.20cancellation.20conditions