v.1.0: Initial implementation of linear logic in Lean 4

This commit includes:
- Formula type definitions and sequent calculus
- Basic examples of linear logic theorems
- Test framework skeleton
- Project documentation