Sample Logiweb pages. Advanced user interface. Download. Help.
Logiweb is a system for distribution of mathematical definitions, lemmas, and proofs.
Click 'Sample Logiweb pages' above for an introduction.