☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (3)
lean2wasm
Tool for compiling Lean to WASM
#wasm
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
importGraph
v4.6.1
Tools to analyse and visualise the import structure of Lean packages and their files.
1
20