1 Commits

Author SHA1 Message Date
Martin-Molinero 615a613a82 Add Lean commands
Regression Tests / build (push) Has been cancelled
Benchmarks / build (push) Has been cancelled
Build & Test Lean / build (push) Has been cancelled
Research Regression Tests / build (push) Has been cancelled
- Add Lean commands to common project
2022-07-27 16:49:04 -03:00