https://github.com/gvwilson/l4py

Lean for Python Programmers
https://github.com/gvwilson/l4py

lean4 open-source python tutorial

Last synced: 8 days ago
JSON representation

Lean for Python Programmers

• Host: GitHub
• URL: https://github.com/gvwilson/l4py
• Owner: gvwilson
• License: other
• Created: 2026-05-23T18:07:00.000Z (28 days ago)
• Default Branch: main
• Last Pushed: 2026-06-08T17:39:42.000Z (12 days ago)
• Last Synced: 2026-06-08T19:21:34.078Z (12 days ago)
• Topics: lean4, open-source, python, tutorial
• Language: Lean
• Homepage:
• Size: 609 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE.md
  • Code of conduct: CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          
# Lean for Python Programmers





## Lessons



1.  [Introduction](@/intro/)

1.  [Basics](@/basics/)

1.  [Types](@/types/)

1.  [Functional Pipelines](@/pipes/)

1.  [I/O](@/io/)

1.  [A File Archiver](@/archive/)

1.  [Matching Patterns](@/glob/)

1.  [A Template Expander](@/template/)

1.  [A Database](@/db/)

1.  [Building Projects](@/build/)

1.  [Binary Data](@/binary/)

1.  [Type Classes](@/advanced/)

1.  [Tools](@/tools/)

1.  [Discrete Event Simulation](@/des/)

1.  [A Virtual Machine](@/vm/)

1.  [Conclusion](@/finale/)







## Appendices



1.  [License](@/license/)

1.  [Code of Conduct](@/conduct/)

1.  [Contributing](@/contributing/)

1.  [Bibliography](@/bibliography/)

1.  [Glossary](@/glossary/)

1.  [Monads](@/monads/)

1.  [Proofs](@/proof/)









  

    start where you are

    ·

    use what you have

    ·

    help who you can