algorithm
Verified efficient algorithms in Lean4.
1-20 of 31 versions of algorithm
Sort by
Date
3d6445ev4.26.0-rc26.5 MB1f36758v4.26.0-rc2v4.26.0-rc22d02a75v4.26.0-rc1v4.26.0-rc1d532948v4.25.0v4.25.01cfd9dev4.25.0-rc2v4.25.0-rc23ecb2c2v4.24.0v4.24.06.2 MB99cd629v4.24.0-rc1v4.24.0-rc13704079v4.23.0v4.23.055d31b9v4.23.0-rc2v4.23.0-rc26.2 MB339553fv4.22.0v4.22.0d0cac91v4.22.0-rc4v4.22.0-rc4a339985v4.22.0-rc3v4.22.0-rc3f96638ev4.22.0-rc2v4.22.0-rc22b891a3v4.21.0v4.21.06.1 MBcde7060v4.21.0-rc3v4.21.0-rc324365a0v4.21.0-rc2v4.21.0-rc2a14ead7v4.21.0-rc1v4.21.0-rc1c90bdbfv4.20.0v4.20.090e214cv4.20.0-rc5v4.20.0-rc5cd99ebfv4.20.0-rc2v4.20.0-rc2