☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (17)
ProvabilityLogic
0.1.0
Lean 4 Mechanization about Provability Logics
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Not found on Reservoir.
LeanTypst
4d7e85b
Git dependency.
Found on Reservoir.
Foundation
8dcdb31
Formalization of Mathematical Logic
1
20
ProvabilityLogic0.1.0ProvabilityLogic0.1.0