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