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
user2667523
top
accounts
reputation
activity
subscriptions
Top Questions
5
votes
Agda standard library - why are more properties not marked abstract?
abstract
standard-library
agda
asked Jun 30, 2016 at 13:33
stackoverflow.com
Top Answers
8
What work has been done on computationally intensive proofs?
proofassistants.stackexchange.com