search

ehonda / TheoremsAboutAlgorithms

A bunch of theorems about algorithms, written in lean 4
MIT License
1 stars 0 forks source link

Invalid import #1

Open madvorak opened 3 weeks ago

madvorak commented 3 weeks ago

It seems that import «TheoremsAboutAlgorithms».Partitions.Partition points to a file that no longer exists.

ehonda commented 3 weeks ago

Thanks for the feedback! :)

That import is a leftover from when i started the project and had the namespacing set up differently. There's a lot of stuff to clean up anyway, I'll make sure to fix that as well once i get to it 👍