Questions tagged [user-experience]

The user experience (UX or UE) is how a user interacts with and experiences a product, system or service. (from Wikipedia)

Filter by
Sorted by
Tagged with
2 votes
2 answers

Inspecting proof terms in Agda

In Coq, if I am unsure how a definition foo is defined, I can use the command Print foo. to inspect what ...
Meven Lennon-Bertrand's user avatar
3 votes
1 answer

Picking this and calculation in Isabelle/JEdit output

This is a follow-up to How to write a low-level proof in Isar? Having ...
Gergely's user avatar
  • 299
9 votes
4 answers

What are the pros and cons of continuous checking over keychord-triggered checking?

As far as I know, the default configuration for the Lean VSCode plugin checks the code continuously, and so even when the user is in the middle of typing an expression, Lean will immediately report a ...
Trebor's user avatar
  • 3,708