Godel-Lob Provability Logic

This module serves as the root of the GL library, importing all its modules.

Source repository: https://github.com/mgignoux/lean4-gl-coalgebras

Dependency graph: