- Stanford University Centaur Lab
- https://leni.sh
-
Director of NorCal Hakkero Factory No. 1
- Joined on
2023-08-21
feat: Print parent expression assignment
test: Option controlled mvar instantiation
feat: Print inductives, constructors, and recursors in env.inspect
test: Option controlled mvar instantiation
The option on
GoalTacticResult.goals?
is redundant
feat: Print inductives, constructors, and recursors in env.inspect