Proof Assistants Beta
Nico's user avatar
Nico's user avatar
Nico's user avatar
Nico
  • Member for 1 year, 9 months
  • Last seen more than a week ago
  • Berlin, Germany
Profile Activity
Stats
722
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.
2
silver badges
12
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
All Questions Answers
Score Newest
question
25
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
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
question
0
increasing the universe level of a type in Lean by force
Aug 10
Top Meta posts
1
0
5
Are questions about categorical logic on topic?
Top network posts
View all network posts
17
How is the “ Axiom of choice is trivial in intuitionistic logic”?
13
Reference request: Bundles in Algebraic Geometry
13
Comparing algebraic and analytic spaces through the universal property of classifying topoi
12
Is -ist a gender-neutral ending?
10
2-completeness of stacks

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.