Collections of axioms and information on theories dependency
List of Axioms from Computer Science Department, University of Miami
Docmentation, Computer Science Department, University of Miami
List of axioms collected from Wikipedia.
MBase: A Mathematical Knowledge Base. A collection of definitions, theorems and proofs.
The Mathematical Atlas.
Methamath.
Proof symbolic visualizations, University of Texas.
Comments (No comments)
What do you think?
You must be logged in to post a comment.