lean4
Formal logic toolset
A programming language and theorem prover for formal logic and mathematics
Lean 4 programming language and theorem prover
5k stars
63 watching
434 forks
Language: Lean
last commit: almost 2 years agoleanlean4
Related projects:
| Repository | Description | Stars |
|---|---|---|
 fstarlang/fstar | A proof-oriented programming language designed to support formal verification and theorem-proving of software systems. | 2,705 |
 gypsydave5/mostly-adequate-functional-answers | A book and project on learning functional programming in JavaScript by applying it to real-world software development | 0 |
 mostlyadequate/mostly-adequate-guide-ru | Teaches functional programming in JavaScript with a focus on practical application and ease of use | 1,223 |
 caiorss/functional-programming | An online tutorial on functional programming concepts, examples, and patterns illustrated in multiple programming languages | 2,693 |
 raviqqe/fmm | A minimal functional programming language compiler target | 18 |
 marshall-lee/software_foundations | A collection of Coq proof solutions to Software Foundations course exercises | 33 |
 phreda4/r4 | A Forth-based language with simplified concepts and built-in support for debugging and profiling tools. | 128 |
 kongware/ftor | A programming language and runtime system designed to provide type-directed functional programming in JavaScript with debugging support | 44 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,098 |
 kblake/functional-programming | Teaching functional programming concepts using Elixir language and providing accessible code examples | 363 |
 dotnet/fsharp | The F# compiler, core library, and tools provide a platform for building functional programs in a statically typed language. | 3,948 |
 dehun/learn-fp | A learning-by-doing course/tutorial on functional programming in Scala | 613 |
 robrix/prelude | A Swift framework providing reusable functional programming tools | 411 |
 fptudelft/fp101x-content-2015 | A repository hosting course materials and lectures on functional programming in Haskell. | 519 |
 mikaelbr/bacon-love | A workshop module teaching Functional Reactive Programming concepts using Bacon.js | 48 |