| Tool | Lean | Rust | Haskell | OCaML | Coq | Isabelle/HOL |
|---|---|---|---|---|---|---|
| Installer | elan | rustup | ghcup | opam | Coq Platform | |
| Build | lake | cargo | cabal, stack | dune | dune? | |
| Execution | lean | rustc | ghc | OCaML | Coq | Isabelle |
| Package Index | reservoir | crates.io | hackage, stackage | ocaml index | Coq Package Index | |
| Doc Generation | doc-gen | rustdoc | haddock | ocamldoc | coqdoc | |
| Doc Index | docs.rs | hackage | ocaml index | |||
| IDE Plugins | vscode-lean4 | rust-analyzer | haskell lsp | ocaml vscode | VSCoq | Isabelle/VSCode |
| Standard Lib | Haskell base | coq stdlib | library |
@[inline]