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
QEDEQ main unstable	2013-05-24		0
QEDEQ prototype (pmii)	2004-09-26		0
Totals: 2 Items			0

Other Useful Business Software

Cloud-based help desk software with ServoDesk

Full access to Enterprise features. No credit card required.

What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.

Try ServoDesk for free

Grafana: The open and composable observability platform

Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

Grafana is the open source analytics & monitoring solution for every database.

Learn More

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.
MetaUML
MetaUML is a GNU/GPL MetaPost library for typesetting exquisite UML diagrams.
RTextDoc
An editor for structured documents
MaTeX
LaTeX labels in Mathematica

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