# Main Page

### From Wikilogica

Wikilogica is a publicly-editable universal derivation database. The structure is defined so that each page contains exactly one derivation. The steps in each derivation should link to the derivations of the theorems used in that step. Eventually all steps will be linked so that every equal sign and implication arrow can be clicked on to show what theorem is being used.