Ideals, Varieties, and Algorithms
In this repository we implement some of the algorithms from Ideals, Varieties, and Algorithms by Cox, Little and O'Shea in Lean 4.
shingtaklam1324/iva
None Description
GitHub Link DocumentationPick a version!
TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.