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

Project Activity

See All Activity >

Categories

Mathematics

License

Mozilla Public License 1.1 (MPL 1.1)

Follow Belle

Belle Web Site

Other Useful Business Software
Save Up to 91% on Cloud Compute With Spot VMs Icon
Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
Try Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Belle!

Additional Project Details

Operating Systems

BSD, Linux, Mac, Solaris, Windows

Languages

English

Intended Audience

Education, Other Audience, Science/Research

Programming Language

Standard ML

Related Categories

Standard ML Mathematics Software

Registered

2003-11-07