Toric
Formalisation of toric varieties in Lean 4
of 6 versions of Toric
1-6Sort by
Date
444b9dd
v4.22.0-rc411.5 MB588f7b7
v4.21.0v4.21.014.6 MB49a9c2a
v4.20.1v4.20.111.0 MB5a20664
v4.19.0v4.19.07.6 MB400fc30
v4.18.0v4.18.0bfea482
v4.17.0v4.17.0