Similar to Lean_(証明アシスタント)
FP (プログラミング言語)
FP (programming language)
Frenetic
Frenetic (programming language)Idris (プログラミング言語)
Idris (programming language)ISWIM
ISWIMJq (プログラミング言語)
Kent Recursive Calculator
Kent Recursive Calculator
Lazy K
LISP
Lisp (programming language)
Lush (プログラム言語)
Miranda
Miranda (programming language)ML (プログラミング言語)
ML (programming language)
Mozartプログラミングシステム
Mozart Programming System
OCaml
OCamlOz (プログラミング言語)
Oz (programming language)
PureScript
PureScriptREBOL
RebolRefal
RefalR言語
R (programming language)
SATySFi
Scheme
Scheme (programming language)
Standard ML
Standard MLXQuery
XQuery
XSL Transformations
XSLTCPL (圏論プログラミング言語)
Scala
Scala (programming language)
Haskell
HaskellCoq
Coq (software)Microsoft Math Solver
