Kategoria:Języki o typie zależnym
Strony w kategorii „Języki o typie zależnym”
A
ALF (asystent sprawdzający)
ATS (programming language)
Agda (programming language)
C
Coq
E
Epigram (język programowania)
F
F* (programming language)
I
Idris (programming language)
L
LEGO (asystent sprawdzający)
Lean (proof assistant)
M
Matita
S
System Mizar
System weryfikacji prototypów
Z
Zależny ML
D
dwanaście