Reservoir
No results found
All Packages
Notes
Notes in PhysLean
Readme
Versions (1)
Dependencies (16)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
PhysLean
5a32f3a
A project to digitalise results from physics into Lean.
Git dependency.
Found on Reservoir.
verso
v4.19.0
Lean documentation authoring tool
1
20