#
Lean
Lean is a functional programming language that makes it easy to write correct
and maintainable code. You can also use Lean as an interactive theorem prover.
Lean programming primarily involves defining types and functions. This allows
your focus to remain on the problem domain and manipulating its data, rather
than the details of programming.
Here are 7 public repositories matching this topic...
the core of the seagull framework
-
Updated
Feb 28, 2023 - TypeScript
-
Updated
Apr 29, 2024 - TypeScript
A kanban productivity app built in Next.js 14, with a focus on server actions.
react
mysql
typescript
agile
drag-and-drop
stripe-api
kanban
lean
formdata
prisma
tailwindcss
productivity-app
prisma-client
zustand
task-management-app
shadcn-ui
nextjs-server-actions
useformstatus
useformstate
nextjs14
-
Updated
Jul 22, 2024 - TypeScript
Responsive Thinking People System
-
Updated
May 19, 2024 - TypeScript
Created by Leonardo de Moura
Released 2013
- Followers
- 28 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia