Skip to main content
Proof Assistants Beta
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 2 years, 10 months
  • Last seen more than a month ago
  • Berlin, Germany
Profile Activity
Stats
732
reputation
2k
reached
2
answers
8
questions
Communities
View all
About

I am studying mathematics in Berlin. If you like to talk with me about categorical logic, category theory or type theory, send me a message. :)

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
13
bronze badges
Top tags
View all tags
5
Score
6
Posts
60
Posts %
3
Score
1
Posts
10
Posts %
2
Score
4
Posts
40
Posts %
2
Score
3
Posts
30
Posts %
2
Score
2
Posts
20
Posts %
2
Score
2
Posts
20
Posts %
Top posts
question
26
How to use a proof assistant to reason in a topos?
Feb 13, 2022
question
9
Type Theory research groups
Feb 24, 2022
question
9
Interpretation of dependent types: Coherence
Dec 15, 2022
question
6
How to prove in Lean that sums are distributive?
Apr 29, 2022
answer
3
Is there any work on the use of free logic in proof assistants?
May 29, 2022
question
3
Stacks versus universes
Dec 22, 2022
question
2
Elimination rules of inductive types
Mar 7, 2023
answer
2
How to prove in Lean that sums are distributive?
Apr 29, 2022
question
1
Type of Sets with an Assocaitive Operation in Lean
Aug 10, 2023
question
0
increasing the universe level of a type in Lean by force
Aug 10, 2023
Top Meta posts
1
0
6
Are questions about categorical logic on topic?
Top network posts
View all network posts
20
How is the “ Axiom of choice is trivial in intuitionistic logic”?
17
Reference request: Bundles in Algebraic Geometry
14
Comparing algebraic and analytic spaces through the universal property of classifying topoi
13
Is -ist a gender-neutral ending?
10
2-completeness of stacks