• Development Status : 3 - Alpha
• Environment : Console (Text Based)
• Intended Audience : Developers
• Kind : Software
• License : OSI Approved : GNU General Public License (GPL)
• Natural Language : English
• Operating System : Microsoft : Windows : Windows NT/2000
• Operating System : POSIX : GNU/Linux
• Programming Language : Objective-Caml
• Research center : Saclay - Ile de France
• Topic : Scientific/Engineering : Mathematics

Registered: 2006-05-11 20:47
Activity Ranking: 488
View project Statistics or Activity
View list of RSS feeds available for this project.

Package	Version	Date	Notes	Download
tac	0.9.2	2010-01-26
bedwyr	1.4-beta9	2015-06-19

Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml.

Project Admins
Members:

View the 10 Member(s)

Request to join