NumPy's integer, indexing, datetime and string code copied line by line into Lean 4, raced against the real library and used to find 55 bugs.
Lean Updated about 11 hours ago 1 commits
quark-coder|Mirror: pragyaangaur/NumPy-Lean-Check (⭐0)
about 11 hours agoAbout
NumPy's integer, indexing, datetime and string code copied line by line into Lean 4, raced against the real library and used to find 55 bugs.
Readme