Credential-building open issues here — a merged pull request is verifiable proof of work for your résumé.
A project to digitalise results from physics into Lean.
Real code, on a real project, reviewed by a real maintainer — a merged PR here is credential-building proof of work you can point to.
Computed from your public GitHub only — nothing is stored.
Connect GitHub to check →leanprover-community/physlib · issue #1960 · opened Oct 2026 · no PRs referenced when indexed
This is an issue to track the progress of merging the ./QuantumInfo part of the library into the ./Physlib part while correctly taking care of the integration…
Click Claim →on any issue above to open its claim page, where you'll get a terminalhire claim <token> command and a one-tap deep link into your terminal.
terminalhire contribute