Twelf Wiki Tools

beta
Add a Review
0 Downloads (This Week)
Last Update:
  Browse Code SVN Repository

Description

A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.

Twelf Wiki Tools Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Twelf Wiki Tools!

Additional Project Details

Intended Audience

System Administrators

User Interface

Web-based

Programming Language

Haskell, PHP

Registered

2008-07-20
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.