We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 25176f1 commit 3140d66Copy full SHA for 3140d66
Cubical/Tactics/Reflection/IntVariables.agda
0 commit comments