Proof Assistants Meta
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 more than a month ago
Profile Activity
Stats
1,602
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
43
What are the main differences between Coq and Lean?
24
What is the state of recompilation avoidance in proof assistants?
12
Does Lean have a standard ASCII representation?
11
Proof Assistants with support for creating executable software artifacts
10
Why does apply_instance fail to generate decidable_pred here?

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.