Similar to Lean_(証明アシスタント)
Frenetic
Frenetic (programming language)Haskell
HaskellIdris (プログラミング言語)
Idris (programming language)ISWIM
ISWIMJq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive CalculatorLazy K
LISP
Lisp (programming language)▼-1 trendsLush (プログラム言語)
Miranda
Miranda (programming language)ML (プログラミング言語)
ML (programming language)Mozartプログラミングシステム
Mozart Programming SystemOCaml
OCamlOz (プログラミング言語)
Oz (programming language)PureScript
PureScriptREBOL
RebolRefal
RefalR言語
R (programming language)SATySFi
Scala
Scala (programming language)Scheme
Scheme (programming language)Standard ML
Standard MLXQuery
XQueryXSL Transformations
XSLTCPL (圏論プログラミング言語)
Coq
Coq (software)Microsoft Math Solver
Wolfram Alpha
WolframAlpha