HLM Proof Assistant Files

Status: Pre-Alpha

Brought to you by: sreichelt

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
Prototype	2011-02-08		1
Totals: 1 Item			1

Other Useful Business Software

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

JMathTeX
JMathTeX - typesetting mathematics in Java. Provides Java classes for typesetting mathematical formulas as part of your applications user interface.
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
Chryzodus, a chryzode explorer
Chryzodus is a chryzode renderer using Allegro graphics library. Chryzodes are mathematically rendered images which are graphical representations of mathematical operations and relations between numbers. This is a proof maths can be incredibly beautiful !
Tibi's Mathematics Suite
A suite of useful mathematical applications.
Mathematics
Accumulation of mathematical knowledge, matrix numerical optimization