|
None |
2 |
Code Repsoitory for Lean BPM - Lean Business Process Management Change Skills, published by Packt |
Oct 04, 2021 |
|
Lean |
2 |
Lean |
Apr 21, 2023 |
|
Lean |
15 |
Lean mathzoo |
May 17, 2022 |
|
C++ |
26 |
Lean STL |
Feb 21, 2022 |
|
TeX |
37 |
Lean Tutorials |
Apr 18, 2022 |
|
Lua |
10 |
From Lean |
Jan 28, 2023 |
|
None |
5 |
Lean Learning Roadmaps |
May 08, 2022 |
|
TypeScript |
5 |
Lean web editor |
Nov 12, 2020 |
|
TypeScript |
7 |
Lean web editor |
Jun 23, 2022 |
|
JavaScript |
11 |
lean-related presentations |
Jan 03, 2022 |
|
C++ |
346 |
Lean Theorem Prover |
Aug 08, 2022 |
|
C++ |
2061 |
Lean Theorem Prover |
Aug 10, 2022 |
|
C++ |
2 |
Nix + Lean = Nale |
Apr 18, 2022 |
|
JavaScript |
2 |
lean HTML tooltips |
May 06, 2014 |
|
Lean |
2 |
Matemáticas en Lean |
May 15, 2022 |
|
C# |
2 |
Lean Brokerages Template |
Dec 24, 2021 |
|
Haskell |
92 |
Lean Haskell Benchmarking |
Aug 30, 2022 |
|
Lean |
137 |
Some Lean tutorials |
Aug 03, 2022 |
|
Lean |
11 |
Matroids in Lean |
Mar 21, 2023 |
|
LiveScript |
2 |
Lean your Qiita:Team |
May 14, 2015 |
|
C++ |
2 |
Quantum Lean Mapper |
Mar 07, 2023 |
|
None |
2 |
Lean nightly builds |
Jul 04, 2023 |
|
Python |
3 |
Lean Genropy Project |
Jun 29, 2020 |
|
PHP |
2 |
Toyota Lean Seagon |
May 18, 2023 |
|
Lean |
2 |
Lean Parsec extra |
Jun 02, 2023 |
|
Lean |
4 |
Condensed mathematics in Lean |
Aug 15, 2021 |
|
Lean |
4 |
lean proofs of math135 |
May 26, 2021 |
|
Lean |
4 |
Subtasks algorithm for Lean |
Jun 02, 2022 |
|
JavaScript |
280 |
:syringe: Lean DOM Manipulation |
Aug 17, 2022 |
|
Lean |
1296 |
Lean mathematical components library |
Sep 02, 2022 |
|
None |
2 |
Lean mathematical components library |
Apr 22, 2022 |
|
Java |
1918 |
Lean & powerful HTTP apps |
Apr 19, 2023 |
|
Lean |
2 |
Lean mathematical components library |
Jul 01, 2021 |
|
Rust |
2 |
lean doc_string latex generator |
Dec 11, 2021 |
|
JavaScript |
3 |
Vue.js webpack lean template |
Jul 03, 2022 |
|
Lean |
15 |
Lean 4 Metamath verifier |
Jan 28, 2022 |
|
Python |
38 |
Theorem proving in Lean |
Apr 01, 2022 |
|
Python |
43 |
A Lean file formatter |
Jun 11, 2022 |
|
Emacs Lisp |
52 |
Emacs mode for Lean |
Jul 24, 2022 |
|
Lean |
130 |
Lean stuff for M40001 |
Aug 07, 2022 |
|
Rust |
145 |
A Lean version manager |
Aug 06, 2022 |
|
TypeScript |
2 |
lean simple fast etc |
Feb 11, 2023 |
|
VimL |
433 |
lean & mean vim distribution |
Sep 30, 2022 |
|
Nix |
3 |
OpenGL Lean bindings (WIP) |
Jul 08, 2022 |
|
C |
3 |
OpenSSL bindings for Lean |
Mar 11, 2022 |
|
Lean |
7 |
Parser combinators for Lean |
Aug 10, 2022 |
|
Lean |
2 |
Lean mathematical components library |
Mar 07, 2023 |
|
Shell |
2 |
Nanopi r2s lean openwrt |
Feb 11, 2022 |
|
Python |
5 |
Lean OpenWSN/OpenMote testbed |
Feb 22, 2023 |
|
Lean |
3 |
Experiment with Lean prover. |
Dec 18, 2022 |