LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

PhysLean

A project to digitalise results from physics into Lean.

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

6mo ago

Recent commits

Latest commits.

feat: Implementing 6VZKA for Lorentz Algebra (#845)
1749937Nicola Bernini6mo ago
feat: refactor(FDerivCurry) replacing helper lemmas with fun_prop (AZ2QN) (#844)
0db64c1Nicola Bernini6mo ago
feat: Replacing PhysLean PairSwap() with MathLib Equiv.Swap() (#843)
8166016Nicola Bernini6mo ago
chore: remove unused lemma (#841)
975d992Miyahara Kō6mo ago
feat: Fix IsExtrema Docs (#840)
ab5a039Joseph Tooby-Smith6mo ago

fix: Trying to fix Canonica Ensemble Two State (#839)

af8155cNicola Bernini6mo ago

Addressing TODOs in PhysLean/QuantumMechanics/OneDimension/HarmonicOscillator/Basic.lean (#838)

da305f5Nicola Bernini6mo ago

feat: Improve documentation around EM (#837)

64fc19eJoseph Tooby-Smith6mo ago

Top contributors

Builders behind this project.