Browsing tag: calculus  

Hilbert II 0.04.06

The Goal of Hilbert II is the creation of a system that enables a working mathematician to put the...

Feb 11th 2013, 17:44 GMT

Coq 8.2pl1

A formal proof management system

Aug 11th 2009, 14:07 GMT

PetitLambda 0.1

PetitLambda is an interpreter of lambda calculus.

Feb 20th 2008, 06:38 GMT

vDEC 20080131

vDEC is a discrete exterior calculus and geometry processing library.

Feb 1st 2008, 07:30 GMT

Logic Reasoner 0.1

Logic Reasoner is a theorem prover for first-order logic with equality.

Oct 25th 2007, 20:57 GMT

Kogame Tools 0.2.2

Kogame Tools package contains a ogame calculus utilities for KDE Desktop.

Dec 1st 2006, 14:35 GMT

Python lambda calculus module 1.0

Python lambda calculus module project is a simple but full-featured module for exploring lambda ca...

Oct 27th 2006, 12:05 GMT

Lambda 0.1.4

Lambda project is a Lambda calculus interpreter.

Oct 18th 2006, 02:05 GMT

Ghost Diagrams 0.8

Ghost Diagrams is a program that takes sets of tiles and tries to find patterns into which they ma...

Feb 20th 2006, 01:41 GMT

Discrete Event Calculus Reasoner 1.0

Discrete Event Calculus Reasoner is an open source program for performing automated commonsense re...

Jan 26th 2006, 20:55 GMT