|
.github
|
feat: Semiformal results around Em (#441)
|
2025-04-01 15:15:02 +00:00 |
|
.vscode
|
Add standard vscode lean settings
|
2024-07-26 01:03:25 +02:00 |
|
docs
|
refactor: Improve TODO list
|
2025-03-13 10:11:46 +00:00 |
|
PhysLean
|
attempt at the ideal gas law
|
2025-04-23 12:04:02 +05:30 |
|
scripts
|
feat: Semiformal results around Em (#441)
|
2025-04-01 15:15:02 +00:00 |
|
.gitignore
|
chore: Remove .DS_Store
|
2024-07-09 10:21:57 -04:00 |
|
.gitpod.yml
|
Add .gitpod.yml
|
2024-10-31 05:33:39 +00:00 |
|
CONTRIBUTING.md
|
docs: Update Contributing file.
|
2024-05-16 10:17:31 -04:00 |
|
lake-manifest.json
|
chore: Bump to v4.18.0-rc1
|
2025-03-20 12:56:28 -04:00 |
|
lakefile.toml
|
feat: Semiformal results around Em (#441)
|
2025-04-01 15:15:02 +00:00 |
|
lean-toolchain
|
chore: Bump to v4.18.0-rc1
|
2025-03-20 12:56:28 -04:00 |
|
LICENSE
|
Create LICENSE
|
2024-05-31 16:18:33 -04:00 |
|
PhysLean.lean
|
feat: Semiformal results around Em (#441)
|
2025-04-01 15:15:02 +00:00 |
|
README.md
|
edited README
|
2025-04-23 12:35:51 +05:30 |
