Popular repositories Loading

1. A-formalization-of-classical-propositional-modal-logic-with-respect-to-canonical-models-in-lean4 A-formalization-of-classical-propositional-modal-logic-with-respect-to-canonical-models-in-lean4 Public

   Lean 1

2. Foundation Foundation Public

   Forked from FormalizedFormalLogic/Foundation

   Forked from FFL

   Lean