PhysLean
A project to digitalise results from physics into Lean.
Displaying 1-18 of 18 versions of PhysLean
Sort by
Date
- Not a part of any version track.
5e102b5a day agoReleased on March 7, 2026 at 7:18:43PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0 - Not a part of any version track.
734c578v4.28.016 days agoReleased on February 20, 2026 at 9:21:28PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0 - Not a part of any version track.
3d53039v4.27.0a month agoReleased on February 9, 2026 at 7:39:39AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.27.0 - Not a part of any version track.
fcf2471v4.26.03 months agoReleased on December 17, 2025 at 2:59:46PMCommit fcf2471 builds on its old leanprover/lean4:v4.26.0v4.26.0117.5 MB Build archive size: 117486126 bytes. - Not a part of any version track.
2725362v4.25.04 months agoReleased on November 19, 2025 at 9:53:36AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
d1a1415v4.24.05 months agoReleased on October 22, 2025 at 7:56:07AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
8cf1509v4.23.06 months agoReleased on September 16, 2025 at 11:57:11AMCommit 8cf1509 builds on its old leanprover/lean4:v4.23.0v4.23.089.8 MB Build archive size: 89812785 bytes. - Not a part of any version track.
559b0e1v4.22.06 months agoReleased on August 25, 2025 at 3:30:04PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0 - Not a part of any version track.
1905393v4.21.08 months agoReleased on July 1, 2025 at 8:41:22AMCommit 1905393 builds on its old leanprover/lean4:v4.21.0v4.21.067.9 MB Build archive size: 67919049 bytes. - Not a part of any version track.
9249aa7v4.20.19 months agoReleased on June 5, 2025 at 12:24:06PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.1 - Not a part of any version track.
7f5cde1v4.20.09 months agoReleased on June 5, 2025 at 11:53:32AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0 - Not a part of any version track.
4e7b091v4.20.0-rc59 months agoReleased on May 23, 2025 at 5:36:05AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0-rc5 - Not a part of any version track.
cd3c89dv4.19.010 months agoReleased on May 5, 2025 at 9:42:10AMCommit cd3c89d builds on its old leanprover/lean4:v4.19.0v4.19.057.3 MB Build archive size: 57269860 bytes. - Not a part of any version track.
42e73fdv4.18.0a year agoReleased on April 9, 2025 at 10:47:48AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
04e14c3v4.18.0-rc1a year agoReleased on March 20, 2025 at 5:23:41PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0-rc1 - Not a part of any version track.
df50c77v4.17.0a year agoReleased on March 4, 2025 at 11:51:37AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.17.0 - Not a part of any version track.
3b00f96v4.16.0a year agoReleased on February 12, 2025 at 3:35:22PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.16.0 - Not a part of any version track.
656a3e4v4.15.0a year agoReleased on January 20, 2025 at 7:42:53AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0