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
Sacchan
top
accounts
reputation
activity
subscriptions
Top Questions
14
votes
How to extract the witness from exists in Coq in function notation/without destructing?
coq
witness
asked Apr 24, 2022 at 10:23
proofassistants.stackexchange.com
9
votes
Hiding a private overloaded virtual function?
c++
inheritance
g++
clang++
asked Jul 5, 2017 at 14:52
stackoverflow.com
8
votes
Use the current directory in Vim commands
vim
vimscript
asked Dec 18, 2012 at 15:43
stackoverflow.com
8
votes
Does a Cube of Force on setting 2 block the clothing people are wearing?
dnd-5e
magic-items
equipment
asked Jan 29, 2017 at 11:23
rpg.stackexchange.com
6
votes
Fork to shell script and terminate original process with Haskell
haskell
process
fork
asked Nov 6, 2012 at 22:33
stackoverflow.com
5
votes
What would happen if a planet gradually lost mass?
gravity
astrophysics
asked Jul 6, 2021 at 20:36
worldbuilding.stackexchange.com
Top Answers
30
"DDoouubbllee ssppeeaakk!!"
codegolf.stackexchange.com
5
Could you make me a hexagon please?
codegolf.stackexchange.com
Stack Exchange works best with JavaScript enabled