Hilbert II - QEDEQ Files

proof verifier for mathematical proofs and documentation generator

Status: Beta

Brought to you by: m31

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
0.00.53	2004-09-26	0
0.00.52	2003-06-30	0
0.00.51	2002-07-14	0
0.00.50	2002-01-27	0
0.00.49	2001-10-21	0
0.00.47	2001-09-08	0
0.00.46	2001-08-19	0
0.00.45	2001-08-18	0
Totals: 8 Items		0

Other Useful Business Software

Easily Host LLMs and Web Apps on Cloud Run

Run everything from popular models with on-demand NVIDIA L4 GPUs to web apps without infrastructure management.

Run frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.

Try Cloud Run Free

Cut Cloud Costs with Google Compute Engine

Save up to 91% with Spot VMs and get automatic sustained-use discounts. One free VM per month, plus $300 in credits.

Save on compute costs with Compute Engine. Reduce your batch jobs and workload bill 60-91% with Spot VMs. Compute Engine's committed use offers customers up to 70% savings through sustained use discounts. Plus, you get one free e2-micro VM monthly and $300 credit to start.

Try Compute Engine

Recommended Projects

Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
TeXlipse
Texlipse is a plugin that adds Latex editing support for the popular Eclipse Java IDE. Key features include: syntax highlight, command completion, bibliography completion, outline navigation and automatic building.
SICP JavaScript Edition
XML sources of SICP and SICP JS, and support
MetaUML
MetaUML is a GNU/GPL MetaPost library for typesetting exquisite UML diagrams.
DeepSeekMath-V2
Towards self-verifiable mathematical reasoning

Hilbert II - QEDEQ Files

proof verifier for mathematical proofs and documentation generator

Get an email when there's a new version of Hilbert II - QEDEQ