HOL theorem-proving system - Browse /OldFiles 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
kananaskis-5.release.html	2009-07-08	29.1 kB	0
Totals: 1 Item		29.1 kB	0

Other Useful Business Software

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.

Try it Free

Recommended Projects

HOL Guard
Open-source antivirus for AI agents
Accord.NET Framework
Scientific computing, machine learning and computer vision for .NET
A declarative logic programming system
A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
The Wolfram Machine Project
The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.
AiM Assessment in Mathematics
AiM is a system for intelligent computer-aided learning and assessment in mathematics and related disciplines, based on a symbolic mathematics program.

HOL theorem-proving system Files