DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
269 commits 1 branch 0 tags 5.9 MiB
Commit graph

3 commits

Author SHA1 Message Date
Pietro Monticone
e6bea53658 Update FourVelocity.lean 2024-06-08 01:52:44 +02:00
jstoobysmith
c61e2774e1 refactor: Lint 2024-05-17 15:28:05 -04:00
jstoobysmith
7ebd2af7a5 refactor: Major refactor of Lorentz group 2024-05-17 15:10:35 -04:00