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]