importGraph
Tools to analyse and visualise the import structure of Lean packages and their files.
of 43 versions of importGraph
1-20Sort by
Date
4241928
v4.22.0-rc4v4.22.0-rc447.7 MB4241928
v4.22.0-rc4v4.22.0-rc447.7 MB140dc64
v4.22.0-rc3v4.22.0-rc347.7 MB2bf782b
v4.22.0-rc2v4.22.0-rc247.6 MB06eeff6
v4.22.0-rc1v4.22.0-rc147.6 MBd07bd64
v4.21.0v4.21.0e25fe66
v4.21.0-rc3v4.21.0-rc353.3 MBfec36d8
v4.21.0-rc2v4.21.0-rc2d554d45
v4.21.0-rc1v4.21.0-rc1a11bcb5
v4.20.0v4.20.0f5e58ef
v4.20.0-rc2v4.20.0-rc251.7 MBeeb7688
v4.20.0-rc1v4.20.0-rc151.7 MBe6a9f0f
v4.19.0v4.19.0c20832d
v4.19.0-rc2v4.19.0-rc249.2 MBe5a2151
v4.19.0-rc1v4.19.0-rc182480d3
v4.18.0v4.18.008372f1
v4.18.0-rc1v4.18.0-rc144.9 MB0447b0a
v4.17.0v4.17.05013810
v4.17.0-rc1v4.17.0-rc138.6 MB1a66136
v4.16.0v4.16.036.7 MB