Skip to main content
Proof Assistants Beta
ejgallego's user avatar
ejgallego's user avatar
ejgallego's user avatar
ejgallego
  • Member for 2 years, 5 months
  • Last seen more than a week ago
Profile Activity
Stats
151
reputation
1k
reached
2
answers
0
questions
Communities
View all
About

Computer Scientist, Programmer, Musician

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Top tags
5
Score
2
Posts
100
Posts %
4
Score
1
Posts
50
Posts %
4
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
Top posts
4
Tools like leanblueprint for other proof assistants, especially Coq?
Jun 7
1
Use proof irrelevance in cast
Oct 10, 2023
Top network posts
View all network posts
19
How to define set in coq without defining set as a list of elements
16
How to call proof asistant Coq from external software
10
How is Coq's parser implemented?
9
what does the colon greater than sign mean in coq
9
Why would the tactic 'exact' be complete for Coq proofs?