 Ryan Russell
|
62493f8986
|
docs: algorithm readability improvements (#6554)
Benchmarks / build (push) Has been cancelled
Build & Test Lean / build (push) Has been cancelled
Regression Tests / build (push) Has been cancelled
Research Regression Tests / build (push) Has been cancelled
docs: `algorthm` -> `algorithm`
|
2022-08-17 10:39:57 -07:00 |
|
|
Martin-Molinero
|
ef531e09bd
|
Add Lean commands (#6513)
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
- Add Lean commands to common project
* Address reviews
- Address reviews, refactor command interfaces and classes
* Rename FileCommandQueueHandler to FileCommandHandler
|
2022-07-28 16:44:40 -03:00 |
|
|
Andrew
|
f7bd4f59b7
|
Remove commands from Lean
|
2017-07-14 12:40:53 -04:00 |
|
|
snugs
|
11db76d984
|
Adds generics AlgorithmStatusCommand
|
2015-11-23 20:46:46 -05:00 |
|