Belle

Belle is a generic higher order theorem prover in the style of Isabelle.

Mozilla Public License 1.1 (MPL 1.1)

User Reviews

Be the first to post a review of Belle!

English

Science/Research, Education, Other Audience

2003-11-07

Similar Business Software

Partful

Partful is a 3D Explosion Parts Catalog and Work Instructions Platform. Wow your customers, dealers and end-users with the sleekest part ordering experience. Showcase your products and parts in stunning 3D. Let your customers and dealers instantly find the right parts and click to order in one...

See Software
AvPro Software

AvPro Software is comprehensive and easy-to-use. It's perfect for Aircraft MRO, Certified Repair Station (CRS), Aircraft Operators, and parts brokers. You can track Aircraft Parts I(nventory, Work Orders, and much more. Modular in nature and specifically designed for aircraft maintenance...

See Software
The Asset Guardian EAM (TAG)

The Asset Guardian (TAG) has a proven 15-year track record for maintaining, managing and optimizing enterprise assets with thousands of users worldwide. TAG offers CMMS, EAM, APM, and Maintenance-as-a-Service applications that can scale with your organization’s needs and technological...

See Software