Proof Assistants Beta
Sebastian Ullrich's user avatar
Sebastian Ullrich's user avatar
Sebastian Ullrich's user avatar
Sebastian Ullrich
  • Member for 1 year, 1 month
  • Last seen this week
Profile Activity
Stats
1,602
reputation
4k
reached
11
answers
1
question
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
16
bronze badges
Top tags
View all tags
83
Score
7
Posts
58
Posts %
43
Score
1
Posts
8
Posts %
13
Score
3
Posts
25
Posts %
12
Score
1
Posts
8
Posts %
11
Score
1
Posts
8
Posts %
11
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
43
What are the main differences between Coq and Lean?
Feb 9, 2022
question
24
What is the state of recompilation avoidance in proof assistants?
Feb 11, 2022
answer
12
Does Lean have a standard ASCII representation?
Mar 4, 2022
answer
11
Proof Assistants with support for creating executable software artifacts
Feb 8, 2022
answer
10
Why does apply_instance fail to generate decidable_pred here?
Feb 12, 2022
answer
7
What is the state of recompilation avoidance in proof assistants?
Feb 11, 2022
answer
5
Referencing previous fields when constructing new structure
Feb 17, 2022
answer
5
Notation for indefinite integrals
Feb 26, 2022
answer
5
Is there a way in LeanProver to declare an inline recursive function, like fix in Coq?
Mar 7
answer
4
Unravelling notations in Lean
Mar 10
Top network posts
View all network posts
9
F# currying efficiency?
6
Equality of two structs in C#
6
Case statement with logic operators (< > =, etc) in Pascal
6
How to convert a WPF Button.Click Event into Observable using Rx and F#
5
Partial Application of Infix Functions in F#

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.