Home My Page Projects Slimmer
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Latest File Releases
Package Version Date Notes Download
tac 0.9.2 2010-01-26 tac - Release Notes tac 0.9.2 - Download
bedwyr 1.4-beta9 2015-06-19 bedwyr - Release Notes bedwyr 1.4-beta9 - Download
Public Tools
Tracker  Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (3 public mailing lists)
SCM Repository (Subversion: 3,553 updates, 846 adds)
Project description

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

Latest News
rss

Bedwyr 1.2

David Baelde - 2010-04-18 19:23 -

Tac at IJCAR 2010 & new release

David Baelde - 2010-04-18 19:21 -

Bedwyr Version 1.1 released

Dale Miller - 2007-02-19 10:34 -

New Example: mute.def

Dale Miller - 2007-02-02 07:43 -

Bedwyr 1.0 release

Dale Miller - 2006-11-01 19:38 -