gametheoryinlean

Popular repositories Loading

1. EconCSLib EconCSLib Public

   Lean 4 library and knowledge base for computational economics

   Lean 33 10

2. mdblueprint mdblueprint Public

   Python 1 2

3. blueprint blueprint Public

   HTML 1

4. lean4-skills lean4-skills Public

   Forked from cameronfreer/lean4-skills

   Lean 4 theorem proving skill and workflow pack for AI coding agents

   Python

5. docgen docgen Public

   Forked from leanprover/doc-gen4

   Document Generator for Lean 4

   Lean

6. econcslib_doc econcslib_doc Public

   HTML