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

fix typos

Browse source
This commit is contained in:
Pietro Monticone 2025-01-13 22:52:18 +01:00
parent 059e8fe464
commit eca8be8bab
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/index.markdown
View file

@ -41,4 +41,4 @@ Mathematicians and people with a Lean background can contribute in a number of w
- Help by golfing and refactoring code.
## Computer scientists with a Lean background
There are a number of metaprograms and infastructure projects which would improve HepLean. If you need help in this direction, please get in touch.
There are a number of metaprograms and infrastructure projects which would improve HepLean. If you need help in this direction, please get in touch.