RODIN - Browse /Plugin_Rule-based_Prover/0.3.0 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
ac.soton.eventb.ruleBase.theory.ui_0.3.0.jar	2010-07-09	226.3 kB	0
ac.soton.eventb.ruleBase.theory.core_0.3.0.jar	2010-07-09	155.9 kB	0
ac.soton.eventb.prover_0.3.0.jar	2010-07-09	121.0 kB	0
ac.soton.eventb.ruleBasedProver_feature_0.3.0.jar	2010-07-09	5.9 kB	0
Totals: 4 Items		509.1 kB	0

Other Useful Business Software

Network Discovery Software | JDisc Discovery

JDisc Discovery supports the IT organizationss of medium-sized businesses and large-scale enterprises.

JDisc Discovery is a comprehensive network inventory and IT asset management solution designed to help organizations gain clear, up-to-date visibility into their IT environment. It automatically scans and maps devices across the network, including servers, workstations, virtual machines, and network hardware, to create a detailed inventory of all connected assets. This includes critical information such as hardware configurations, software installations, patch levels, and relationshipots between devices.

Learn More

Powering the next decade of business messaging | Twilio MessagingX

For organizations interested programmable APIs built on a scalable business messaging platform

Build unique experiences across SMS, MMS, Facebook Messenger, and WhatsApp – with our unified messaging APIs.

Learn More

Network Discovery Software | JDisc Discovery

JDisc Discovery supports the IT organizationss of medium-sized businesses and large-scale enterprises.

Learn More

Recommended Projects

Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
JGraphT
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
Whole Platform
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
GNU Ballistics Library
An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs

RODIN Files

Get an email when there's a new version of RODIN