Skeptics
minopret's user avatar
minopret's user avatar
minopret's user avatar
minopret
  • Member for 10 years, 6 months
  • Last seen more than 6 years ago
Profile Activity
Stats
386
reputation
6k
reached
1
answer
0
questions
Communities
View all
About

SOreadytohelp

Badges
This user doesn’t have any gold badges yet.
3
silver badges
5
bronze badges
Top tags
27
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
27
Do firefighters avoid eating pork?
Mar 17, 2013
Top network posts
View all network posts
54
Examples of patterns that eventually fail
35
Zip folder recursively, save for a given sub folder (Linux)
34
Could G. H. Hardy make a product of two primes so big he couldn't find out which?
28
Can I extract a Coq proof as a Haskell function?
21
Can I extract a Coq proof as a Haskell function?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.