Toric
Formalisation of toric varieties in Lean 4
of 9 versions of Toric
1-9Sort by
Date
8534d8b
v4.24.0-rc1v4.24.0-rc18534d8b
v4.24.0-rc1v4.24.0-rc1a1477b2
v4.23.0v4.23.03b770c1
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