Area 51
Molly Stewart-Gallus's user avatar
Molly Stewart-Gallus's user avatar
Molly Stewart-Gallus's user avatar
Molly Stewart-Gallus
  • Member for 1 year, 10 months
  • Last seen more than 1 year ago
Profile Activity
Stats
251
reputation
0
reached
1
answer
0
questions
Communities
View all
About

I have an amateur interest in type theory , maths and pictures of cute animals.

cute possum in drawer of desk

Badges
This user doesn’t have any gold badges yet.
1
silver badge
2
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
0
Are automatic theorem provers on-topic?
Jan 29, 2022
Top network posts
View all network posts
27
How can I make my stack monad faster?
20
Is Pauli-repulsion a "force" that is completely separate from the 4 fundamental forces?
18
Why doesn't matter clump together such that it can't be taken apart again?
17
How can I get JHC to cooperate with the android ndk?
17
What is the shape of a deuterium nucleus?

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.