GitHub - quimtestar/Aletheia: The Aletheia Proof Assistant

The Aletheia Proof Assistant is a tool for interactively develop, analyze, store and share mathematical formal proofs.

Name		Name	Last commit message	Last commit date
Latest commit History 1,369 Commits
Aletheia.Base		Aletheia.Base
Aletheia.BerkeleyDB		Aletheia.BerkeleyDB
Aletheia.Documentation		Aletheia.Documentation
Aletheia.GUI.Command.Extra		Aletheia.GUI.Command.Extra
Aletheia.GUI.Fonts		Aletheia.GUI.Fonts
Aletheia.GUI		Aletheia.GUI
Aletheia.ParserGenerator		Aletheia.ParserGenerator
Aletheia.PdfExport		Aletheia.PdfExport
Aletheia.PeerToPeer		Aletheia.PeerToPeer
Aletheia.ProofFinder		Aletheia.ProofFinder
Aletheia.Protocol		Aletheia.Protocol
Aletheia.Security		Aletheia.Security
Aletheia.Testing		Aletheia.Testing
Aletheia.Utilities		Aletheia.Utilities
Aletheia.Version		Aletheia.Version
Aletheia.VncServer		Aletheia.VncServer
Aletheia.jars		Aletheia.jars
Aletheia.log4j		Aletheia.log4j
README.md		README.md

quimtestar/Aletheia