Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Gregory Nisbet
San Francisco, CA, United States
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
32
votes
What is predicativity?
type-theory
foundations
predicativity
asked Feb 11 at 3:08
proofassistants.stackexchange.com
19
votes
What is the difference between judgmental equality, definitional equality, and equality types?
type-theory
type-rule
asked Feb 10 at 16:32
proofassistants.stackexchange.com
16
votes
Why does `find . -type f` take longer than `find .`?
find
performance
gnu
asked May 1, 2016 at 19:12
unix.stackexchange.com
14
votes
Paste visual block selection on its own lines
cut-copy-paste
visual-block
asked Jul 20, 2016 at 17:25
vi.stackexchange.com
14
votes
Golang check if string is valid path
go
asked Feb 5, 2016 at 19:20
stackoverflow.com
14
votes
Are there any well-known Internal DSL Proof Assistants?
history
software-request
asked Feb 8 at 18:19
proofassistants.stackexchange.com
14
votes
Are there any proof assistants or theorem provers based on the method of analytic tableaux?
software-request
tableau
asked Feb 8 at 19:32
proofassistants.stackexchange.com
13
votes
Are there automated theorem provers for constructive logics? What strategy do they use?
software-request
automated-theorem-proving
constructive
asked Feb 11 at 17:07
proofassistants.stackexchange.com
13
votes
Tools for checking the consistency of a type theory
type-theory
beginner
software-request
foundations
type-rule
asked Feb 20 at 22:14
proofassistants.stackexchange.com
13
votes
for loop doesn't modify `my` variable but does modify `our` variable
perl
asked May 3, 2016 at 0:39
stackoverflow.com
1
2
3
4
5
…
10
next
Top Answers
37
How to install Python 3.6?
unix.stackexchange.com
37
How is the argument "I love all logic, but I don’t love deductive reasoning. Therefore, the moon is made of green cheese." valid?
philosophy.stackexchange.com
17
What are some interesting features that are common cross-linguistically but don't exist in English?
linguistics.stackexchange.com
14
Why does Python start at index -1 (as opposed to 0) when indexing a list from the end?
stackoverflow.com
14
How to write 1 tuple as sets?
math.stackexchange.com
13
What is the point of model theory?
math.stackexchange.com
12
Can the IPA represent all languages' tones?
linguistics.stackexchange.com
11
Python decorating class
stackoverflow.com
11
How do I debug my vimrc file?
vi.stackexchange.com
11
Is there a way to make Nano support auto-complete and auto-bracket closing?
superuser.com
10
How to have a percentage chance of a command to run
stackoverflow.com
10
What games are there?
proofassistants.stackexchange.com
9
Multiple commands in gdb separated by some sort of delimiter ';'?
stackoverflow.com
9
Could proof assistants be used to prove that some piece of code is free of bugs?
proofassistants.stackexchange.com
9
Are there any natural languages in which /ʂ/ and /ʃ/ are distinct phonemes?
linguistics.stackexchange.com
8
IO Redirection - Swapping stdout and stderr
stackoverflow.com
8
Can I tell find to to not restore initial working directory?
unix.stackexchange.com
8
How to effectively learn by self learning.
math.stackexchange.com
7
How do I run the louvain community detection algorithm in igraph?
stackoverflow.com
7
Dynamically growing a python array when assigning to it
stackoverflow.com
7
Any function copying from clipboard to a variable in Bash?
unix.stackexchange.com
7
Integration of proof assistants and Wikipedia-like websites?
proofassistants.stackexchange.com
7
What are the disadvantages to 2-round elections where the top candidates from the first round compete head-to-head in the second round?
politics.stackexchange.com
6
How can I use Perl's 'prove' with TAP producers in other languages?
stackoverflow.com
6
Integers in the form $\pm 2^a \pm 3^b \pm 5^c$
math.stackexchange.com
6
What is the word “li” in Toki pona, grammatically?
conlang.stackexchange.com
6
How do you plausibly explain that the geometric and the coordinate expressions for the scalar product are equivalent?
matheducators.stackexchange.com
6
How can I talk about weather without expletives?
conlang.stackexchange.com
5
Table Maker's Dilemma
math.stackexchange.com
5
Perl Hash Value
stackoverflow.com
1
2
next
Stack Exchange works best with JavaScript enabled