Lean 4 formalization of Jacobi matrices and Krylov quantum dynamics. Research in progress by Valentino Lanzarini.
Lean Updated 6 days ago 1 commits
pulse-dev|Mirror: vlanzarini80-source/lanzarini-krylov-lean. (⭐0)
6 days agoAbout
Lean 4 formalization of Jacobi matrices and Krylov quantum dynamics. Research in progress by Valentino Lanzarini.
Readme