Community reviews
Community reviews for twelf.org
No approved reviews for twelf.org yet. Be the first to share your experience. See the independent website safety report.
Reviews do not change the independent technical Safety Score.
You need an account and verified email to post. Create a free account.
About twelf.org
Twelf is a research project concerned with the design, implementation, and application of logical frameworks funded by the National Science Foundation under grants CCR-9619584 and CCR-9988281 Meta-Logical Frameworks, CCR-0306313 Efficient Logical Frameworks (Principal Investigator: Frank Pfenning) and by DARPA under the contract number F196268-95-C-0050 The Fox Project: Advanced Languages for Systems Software (Principal Investigators: Robert Harper, Peter Lee, and Frank Pfenning).
Manually moderated
Reviews (0)
Approved reviews only, newest first. Each submission is held for moderation.