Skip to main content
Proof Assistants Beta

Nice Question

 Nice Question
Question score of 10 or more. This badge can be awarded multiple times.
Awarded 205 times.
Proof Assistants for Vim Users
Awarded Feb 9, 2022 at 20:34
Which programming languages are most similar to proof assistants?
Awarded Feb 9, 2022 at 20:34
What is the difference between `leanprover` and `leanprover-community` GitHub repositories?
Awarded Feb 9, 2022 at 20:34
What are the bases for different Proof Assistants?
Awarded Feb 9, 2022 at 20:34
High-performance proof assistants
Awarded Feb 9, 2022 at 20:34
Formal description of algorithmic subtyping/cumulativity
Awarded Feb 9, 2022 at 20:34
What are some examples of proof assistants doing something useful? [closed]
Awarded Feb 9, 2022 at 20:34
What was the 1st Proof Assistant?
Awarded Feb 9, 2022 at 20:34
What is a Proof Assistant?
Awarded Feb 9, 2022 at 20:34
Usage and Importance of Proof Assistants
Awarded Feb 9, 2022 at 20:34
Is there a way to automatically translate proofs from one proof assistant to another?
Awarded Feb 9, 2022 at 20:34
What are the main differences between Coq and Lean?
Awarded Feb 9, 2022 at 20:34
Why haven't all of the "hundred greatest theorems" been formalized yet?
Awarded Feb 9, 2022 at 20:34
Are implicit arguments essential to (dependently-typed) proof assistants?
Awarded Feb 9, 2022 at 20:34
What happened to Conor McBride's universe polymorphism proposal?
Awarded Feb 9, 2022 at 20:34
Is internal parametricity useful in theorem proving?
Awarded Feb 9, 2022 at 20:34
What is Artin gluing, and how is it useful in proving meta-theoretic properties?
Awarded Feb 9, 2022 at 20:34
Proof assistants for beginners - a comparison
Awarded Feb 9, 2022 at 20:34
Are some proof assistants better suited for given areas of math than others?
Awarded Feb 9, 2022 at 20:34
Examples of new mathematics discovered through formalization?
Awarded Feb 9, 2022 at 20:34
In Lean, what do double curly brackets mean?
Awarded Feb 9, 2022 at 20:34
How to track backwards-incompatible changes in mathlib?
Awarded Feb 9, 2022 at 20:34
Non-trivial difference(s) between Computer Algebra System and Proof Assistant
Awarded Feb 9, 2022 at 20:34
Is there software for interfacing Lean code with LaTeX?
Awarded Feb 9, 2022 at 20:34
What's the "Hello, World!" for proof assistants?
Awarded Feb 9, 2022 at 20:34
1 2 3
4