Python library provides a graphical view of the calendar.

Library for automatic unit testing of Standard ML modules

The web-site for Abella

An interactive theorem prover based on lambda-tree syntax

Visual display of courses for the Computer Science department in CMUQ

Formalization of financial systems in linear logic

An Open Encyclopedia of Proof Systems

GAPT: General Architecture for Proof Theory

OCaml graph library

PDF Reader in JavaScript