Mc_sim_fin vs Lean
| Lean | Mc_sim_fin | |
|---|---|---|
| Stars | 8,672 | 8 |
| Downloads |  | |
| Dependent Packages | 24 | |
| Dependent Repos | 1 | |
| Most Recent Commit | 2 months ago | 2 years ago |
| Total Releases | 193 | 5 |
| Latest Release | December 07, 2023 | September 25, 2022 |
| Open Issues | 214 | |
| License | apache-2.0 | mit |
| Programming Language | C# | Python |