Wiki — Logic Formalization Web

This wiki provides documentation for all users, deployers, and developers.

User Guides

• Student Guide — How to submit and formalize logic assignments
• Teacher Guide — How to review, grade, and manage submissions
• Admin Guide — User management and system administration

Deployment

• Deployment Guide — Installation, configuration, backup, and maintenance

Development

• Developer Guide — Architecture, local setup, and contribution guidelines