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

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

FusionAuth: Authentication and User Management Software

Offer your users flexible authentication options, including passwords, passwordless, single sign-on (SSO), and multi-factor authentication (MFA).

FusionAuth adds login, registration, SSO, MFA, and a bazillion other features to your app in days - not months.

Learn More

Recommended Projects

Accord.NET Framework
Scientific computing, machine learning and computer vision for .NET
GMP-ECPP
Open source implementation of Elliptic Curve Primality Proving algorithm, using just the GMP library
Mathematics Dataset
This dataset code generates mathematical question and answer pairs
Pigale
Pigale is a graph editor and a C++ algorithm library essentially concerned with planar graphs. This software, particularly intended for graph theoretical research, includes new algorithms based on our recent theoretical researches.
GA Sandbox
GA Sandbox is a library providing geometric algebra implementations for geometric algebras. It comes with many programming examples. It is the software companion to the book `Geometric Algebra for Computer Science' (Morgan Kaufmann).

HOL theorem-proving system Files