Proof Assistants Beta
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 a week ago
Profile Activity
Stats
2,768
reputation
24k
reached
23
answers
34
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.
5
silver badges
21
bronze badges
Top tags
View all tags
8
Score
13
Posts
23
Posts %
7
Score
5
Posts
9
Posts %
6
Score
11
Posts
19
Posts %
3
Score
7
Posts
12
Posts %
2
Score
3
Posts
5
Posts %
1
Score
4
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
18
What is bidirectional type checking?
Mar 18, 2022
question
17
What are the advantages to impredicativity?
Mar 12, 2022
question
16
Do you need a Hilbert style Epsilon operator for definitions in set theory?
Apr 30, 2022
question
13
What is a commuting conversion and why are they problematic?
Mar 29, 2022
question
12
Is induction over mutually inductive coinductive types possible?
Mar 5, 2022
question
11
Ergonomic use of multicategories in proof assistants
Mar 7, 2022
question
10
What is hereditary substitution and why should I use it?
Mar 26, 2022
question
9
How to implement a visual proof assistant?
Aug 30, 2022
question
9
Construction of inductive types "the hard way"
May 10, 2022
question
8
How to deal with the proliferation of encodings of ASTs?
Mar 30, 2022
Top network posts
View all network posts
27
How can I make my stack monad faster?
21
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.