Project Information
Activity Ranking: 444 View project Statistics or Activity View list of RSS feeds available for this project. ![]() Latest File Releases
Public Tools
![]()
![]() ![]() ![]() |
Project description
Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml. Project Members
Latest News
|