Skip to main content
Tour
About Us
Meta
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 400 Users
Digests
user833970
top
accounts
reputation
activity
subscriptions
Top Questions
31
votes
Has anyone ever accidentally "proven" a false theorem with type-in-type?
dependent-type
asked Mar 31, 2022 at 14:10
proofassistants.stackexchange.com
16
votes
Can blogging about research results first affect your ability to publish them later?
publications
publishability
blog
asked Jun 3, 2015 at 3:34
academia.stackexchange.com
15
votes
In the Hott book, are the most of the type formers redundant? And if so, why?
type-theory
dependent-type
homotopy-type-theory
asked Dec 14, 2017 at 18:06
cstheory.stackexchange.com
14
votes
In Jenkins plugin developement, what is the Stapler (org.kohsuke.stapler.Stapler)?
plugins
jenkins
asked Jul 7, 2011 at 16:51
stackoverflow.com
14
votes
"dynamically" creating case classes with macros
scala
scala-macros
case-class
asked Apr 3, 2014 at 22:43
stackoverflow.com
13
votes
How do you view the JavaScript embedded in a PDF?
javascript
pdf
asked Mar 29, 2013 at 15:56
stackoverflow.com
11
votes
Typo in the calculus of constructions paper?
lo.logic
calculus-of-constructions
sequent-calculus
asked Dec 2, 2016 at 17:56
cstheory.stackexchange.com
10
votes
Is there a standard name (and library implementation) for a Monad that hides computation behind a constructor?
haskell
monad-transformers
asked Aug 12, 2020 at 13:57
stackoverflow.com
10
votes
Peano axioms expressed in type theory
peano-axioms
type-theory
asked Mar 21, 2013 at 14:15
math.stackexchange.com
9
votes
Can Non-termination be considered an algebraic effect?
reference-request
pl.programming-languages
functional-programming
semantics
algebraic-effects
asked Sep 16, 2019 at 15:40
cstheory.stackexchange.com
1
2
next
Top Answers
92
AudioRecord object not initializing
stackoverflow.com
14
Re-reviewing a previously rejected article but some authors have changed from the previous submission. Should I mention that to the editor?
academia.stackexchange.com
7
How to start with automated theorem proving?
math.stackexchange.com
5
Is there a simple algorithm for proof search on CoC?
cstheory.stackexchange.com