Skip to main content
Proof Assistants Meta
Ms. Molly Stewart-Gallus's user avatar
Ms. Molly Stewart-Gallus's user avatar
Ms. Molly Stewart-Gallus's user avatar
Ms. Molly Stewart-Gallus
  • Member for 2 years, 5 months
Profile Activity
Stats
2,868
reputation
0
reached
0
answers
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
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
27
How can I make my stack monad faster?
23
Is Pauli-repulsion a "force" that is completely separate from the 4 fundamental forces?
20
What is bidirectional type checking?
18
Why doesn't matter clump together such that it can't be taken apart again?
17
What is the shape of a deuterium nucleus?