gvwilson/l4py
View on GitHubLean for Python Programmers
- Stars
- 2
- Forks
- 0
- Open beginner issues
- 0
- Indexed issues
- 11
- Dominant language
- Lean
- License
- No license data
- Last GitHub push
- Jun 19, 2026
- Latest indexed
- Sep 17, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
fixes for monads Openfix
-
add
-
add
-
Monad Hierarchy Openadd
-
add
-
Data Types & Runtime Openadd
-
FFI & Interop Openadd
-
add
-
Attributes Openadd
-
Type Universes Openadd
-
Unicode Input Openadd