Translation of "Twelf" in German
A
number
of
popular
computer-based
proof
systems
are
based
on
type
theory,
for
example
NuPRL,
LEGO,
Coq,
ALF,
Agda,
Twelf
and
Epigram.
Eine
Reihe
von
Computer-gestützten
Beweissystemen
wie
NuPRL,
LEGO,
Coq,
ALF,
Agda,
Twelf
und
Epigram
beruht
auf
Löfs
Typentheorie.
Wikipedia v1.0
The
connection
of
picture
and
sound
for
a
calendar
(„cycles
of
twelf“)
appeared
to
me
novelty.
Die
Verbindung
von
Bild
und
Klang
für
einen
Kalender
(„cycles
of
twelf“)
erschien
mir
als
Novum.
ParaCrawl v7.1