- Stanford University Centaur Lab
- https://leni.sh
-
Director of NorCal Hakkero Factory No. 1
- Joined on
2023-08-21
Add
aarch64-{linux,darwin}
targets in flake
feat: Print value of arbitrary mvar and goals in goal state