- Stanford University Centaur Group
- https://leni.sh
-
Admin of this website
- Joined on
2023-08-21
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
Allow adding definitions to environments