Skip to content

feat: MoSeL modality types #42

Merged
digama0 merged 2 commits intoleanprover-community:masterfrom
markusdemedeiros:modality-theory
Jul 3, 2025
Merged

feat: MoSeL modality types #42
digama0 merged 2 commits intoleanprover-community:masterfrom
markusdemedeiros:modality-theory

Commits

Commits on May 24, 2025

Commits on Jul 3, 2025