Skip to main content

Questions tagged [terminology]

For questions about words, phrases and definitions that are specific to proof assistants.

3 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
10 votes
0 answers
317 views

What's "Swedish" style of doing type theory or proof assistants?

Jon Sterling said Conor McBride's universe polymorphism proposal to be: seems to have worked well in Swedish experiments I wonder, what does "Swedish" mean here? What kind of type theory ...
ice1000's user avatar
  • 6,166
7 votes
0 answers
92 views

What is focusing and how do I use it?

I have heard the term "focusing" with respect to the sequent calculus (System LK) and related calculi like the $\bar{\lambda} \mu \tilde{\mu}$-calculus. What is focusing and how do I use it? ...
Ms. Molly Stewart-Gallus's user avatar
2 votes
0 answers
81 views

Formally verified email or communication?

This question is contextualized by having an account hacked which is prompting me to move towards something I’ve long wanted to anyway. I would like to consider the simplest possible formally verified ...
Julius Hamilton's user avatar