All Questions
Tagged with discussion specific-question
3
questions
5
votes
0
answers
116
views
What is wrong with the question "Formalizations of unsolved problems"?
There are comments suggesting that the question Formalization of unsolved problems should be closed because it doesn't contain the big-list tag. I don't understand this. Am I missing something?
...
5
votes
1
answer
70
views
Should "Proof Assistants for Vim Users" be made community wiki?
A while ago I asked a question about information regarding vim support for various proof assistants.
As I've had answers come in, I've started wondering if we should make it community wiki, since I ...
17
votes
3
answers
314
views
Are SE "power users" trying to seed the site with "interesting questions"?
Excuse my ignorance about how things work, but looking at these questions
Could proof assistants be used to prove that some piece of code is free of bugs?
Which programming languages are most similar ...