https://pypi.org/project/scherf/ Recent updates to the Python Package Index for scherf en https://pypi.org/project/scherf/5.0.0/ Witness-centered AI foundation library — a Python encoding of Matthew Scherf's machine-verified Lean 4 formalization of Advaita Vedānta Tue, 02 Jun 2026 05:16:45 GMT