MoL-Lean-Club

MoL-Lean-Club/BML

Lean formalization of Basic Modal Logic (as group exercise)

1 good first / help-wanted issue · Lean · last activity Oct 1, 2026

2 stars 4 forks 2 watchers Lean Apache License 2.0

1 Open Issue Need Help Last updated: Oct 1, 2026

Open Issues Need Help

View All on GitHub

Update old items with new notation. 24 days ago

documentation help wanted

MoL-Lean-Club/BML

2

Lean formalization of Basic Modal Logic (as group exercise)

Lean