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	Size	InfoDownloads / Week
Parent folder
qedeq_0.03.10_win.zip	2008-05-17	9.0 MB	0
qedeq_0.03.10_unx.tar.bz2	2008-05-17	5.0 MB	0
Totals: 2 Items		14.0 MB	0

Other Useful Business Software

Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.

Powerful App Monitoring Without Surprise Bills

AppSignal starts at $23/month with all features included. No overages, no hidden fees. 30-day free trial.

Tired of monitoring tools that punish you for scaling? AppSignal offers transparent, predictable pricing with every feature unlocked on every plan. Track errors, monitor performance, detect anomalies, and manage logs across Ruby, Python, Node.js, and more. Trusted by developers since 2012 with free dev-to-dev support. No credit card required to start your 30-day trial.

Try AppSignal Free

Featured

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

Recommended Projects

deplate
deplate is a tool for converting wiki-like markup to latex, docbook, html, or "html-slides". It supports embedded LaTeX code, footnotes, citations, biblographies, automatic generation of an index etc.
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
LaTeXML
A TeX and LaTeX to XML/HTML/ePub/MathML translator
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