PhysLean
A project to digitalise results from physics into Lean.
of 11 versions of PhysLean
1-11Sort by
Date
82ca451
v4.21.075.4 MB1905393
v4.21.0v4.21.067.9 MB9249aa7
v4.20.1v4.20.17f5cde1
v4.20.0v4.20.04e7b091
v4.20.0-rc5v4.20.0-rc5cd3c89d
v4.19.0v4.19.057.3 MB42e73fd
v4.18.0v4.18.004e14c3
v4.18.0-rc1v4.18.0-rc1df50c77
v4.17.0v4.17.03b00f96
v4.16.0v4.16.0656a3e4
v4.15.0v4.15.0