Toric
Formalisation of toric varieties in Lean 4
of 7 versions of Toric
1-7Sort by
Date
f2fa5aa
v4.23.0-rc212.0 MB3b770c1
v4.23.0-rc2v4.23.0-rc2ddadc3d
v4.22.0v4.22.0588f7b7
v4.21.0v4.21.014.6 MB49a9c2a
v4.20.1v4.20.111.0 MB5a20664
v4.19.0v4.19.07.6 MBbfea482
v4.17.0v4.17.0