- Stanford University Centaur Group
- https://leni.sh
-
Admin of this website
- Joined on
2023-08-21
The termination of
Lean.Level
serialization is not ensured
7160f8aa61
Merge branch 'dev' into io/serial
85440e0278
Unify json and unknown error into command error
Remove dead code and consolidate error types
Remove dead code and consolidate error types
Redundant error messages
This error category and json
error have been consolidated into one command
error, used to indicate an error that makes it impossible to proceed to any individual command function.