davidmunozlahoz/banlat
A Banach lattices library for Lean.
GitHub repository with 6 stars and 12 forks.
Language: Lean
Latest metric snapshot
2026-11-15: 6 stars and 12 forks.
A Banach lattices library for Lean.
GitHub repository with 6 stars and 12 forks.
Language: Lean
2026-11-15: 6 stars and 12 forks.