New preprint: Formalizing fixed-point algorithms in Lean
Our preprint Formalization of Two Fixed-Point Algorithms in Hilbert Spaces is now available on arXiv.
Our preprint Formalization of Two Fixed-Point Algorithms in Hilbert Spaces is now available on arXiv.