Viewing PhysLean through html

Stream: PhysLean

[Joseph Tooby-Smith]

As a mini off-shoot of some slides that I was making, I realized you could statically view PhysLean online using a simple html script, and some java code. I know you can do this with GitHub, but thought I would put this here in case anyone finds this way of viewing PhysLean useful (either the 'product' or the 'method').

https://josephtoobysmith.com/Slides/PhysLeanFileContent.html#/

It will always be up-to-date with GitHub, as it is built from it on client side.

(It's on my own website since that is where it was easier to get things to build - but if interest, I will move it over to the PhysLean website).

[Ben Eltschig]

Is PhysLean not set up to automatically build documentation using doc-gen4 yet? That seems like a more useful way of browsing the library online to me, but I couldn't find anything at e.g. http://heplean.github.io/physlean

[Ben Eltschig]

I can open a PR for it in a couple of days if you want - I've set it up for one of my repositories before, and remember it being not too hard. I just have a few exams to get through first

[Joseph Tooby-Smith]

Hi Ben, yeah we have documentation via doc-gen4, the website for PhysLean is: https://physlean.com and the docs are at: https://physlean.com/docs/. Sorry for the confusion :).

[Joseph Tooby-Smith]

Of a similar thread to the above, I made:

https://josephtoobysmith.com/Slides/PhysLeanFileContent.html#/1

This allows you do what lake exe graph --to .. -from ... does but online. Namely specify a collection of sources and targets and it gives you the dependency graph of files between the sources and targets. (All happens client side so no server etc).

[Joseph Tooby-Smith]

Can also do things with URLs etc:

1. The graph for the proof of Wick's theorem:
   https://josephtoobysmith.com/Slides/PhysLeanFileContent.html?sources=PhysLean.SpaceAndTime.SpaceTime.Basic,PhysLean.Mathematics.List.InsertIdx,PhysLean.Mathematics.Fin,PhysLean.QFT.PerturbationTheory.CreateAnnihilate&targets=PhysLean.QFT.PerturbationTheory.WickAlgebra.WicksTheorem#/1

2. Everything that depends on PhysLean.SpaceAndTime.Space.Basic
   https://josephtoobysmith.com/Slides/PhysLeanFileContent.html?sources=PhysLean.SpaceAndTime.Space.Basic#/1

3. Everything that goes into the 1d quantum harmonic oscillator solution:
   https://josephtoobysmith.com/Slides/PhysLeanFileContent.html?sources=&targets=PhysLean.QuantumMechanics.OneDimension.HarmonicOscillator.TISE#/1

(Again this is on my personal website, but can be moved over to the PhysLean website, and also, this was very much 'vibe' coded)