Mathematics
Profile Activity
Meta user
Network profile
111
reputation
3

L. Garde

Apparently, this user prefers to keep an air of mystery about them.

6
answers
0
questions
~407
people reached
  • Member for 2 years, 9 months
  • 6 profile views
  • Last seen 17 hours ago

Communities (4)

Top network posts

We respect a laser-like focus on one topic.

Top tags (10)

Score 6
Posts 5
Posts % 83
Score 4
Posts 3
Score 3
Posts 3
Score 3
Posts 1
Score 2
Posts 1
Score 2
Posts 1
View all tags →

Top posts (6)

All Questions Answers
Votes Newest
3 Why such a complicated definition of recursion for $\mathbb{N}$ in HoTT? May 4 '19
2 a basic univalence puzzle concerning the sup function on sets Oct 29 '17
2 Inductive definition of terms in “The Calculus of Constructions” Feb 3
1 Consistent ways/ rules to define types with generators. Sep 3 '19
0 Constructivity and Piecewise Functions Oct 27 '18
0 Property of well-formed contexts in Martin-Löf type theory Jun 23 '19

Badges (3)

Gold

—

Silver

—

Bronze

3

Rarest