Carnegie Mellon University
LF 逻辑框架在卡内基梅隆大学的 Twelf 系统中实现了。Twelf 包括