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)
4
questions
-1
votes
1
answer
65
views
Using Coq after installation [closed]
I have installed Coq from my package manager on ubuntu. How can I run some basic theorem that I can easily understand its proof with Coq.
2
votes
2
answers
144
views
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 ...
3
votes
1
answer
31
views
Picking this and calculation in Isabelle/JEdit output
This is a follow-up to
How to write a low-level proof in Isar?
Having
...
9
votes
4
answers
395
views
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 ...