User ejgallego - MathOverflow

ejgallego

Member for 12 years, 2 months
Last seen more than 4 years ago

Estados Unidos

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

3

bronze badges

Excavator

Feb 16, 2020
Editor

Feb 14, 2020
Supporter

May 18, 2016

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

19

How to define set in coq without defining set as a list of elements

17

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?