Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / esum/internship2019 issues and pull requests

#16 - pose proof _ as _

Issue - State: open - Opened by vblot over 5 years ago

#15 - nth

Issue - State: open - Opened by vblot over 5 years ago

#14 - factorisation de preuves

Issue - State: open - Opened by vblot over 5 years ago - 2 comments

#13 - assert _ as _

Issue - State: open - Opened by vblot over 5 years ago

#12 - destruct _ as [_]eqn:_

Issue - State: open - Opened by vblot over 5 years ago

#11 - Opérations sur les hypothèses nommées

Issue - State: open - Opened by vblot over 5 years ago

#10 - mem_cons

Issue - State: open - Opened by vblot over 5 years ago

#9 - style ssreflect

Issue - State: open - Opened by vblot over 5 years ago

#8 - ltn_0_prod

Issue - State: open - Opened by vblot over 5 years ago

#7 - ltn_leq_trans

Issue - State: open - Opened by vblot over 5 years ago

#6 - anti_ltn

Issue - State: open - Opened by vblot over 5 years ago

#5 - equiv_eqP

Issue - State: open - Opened by vblot over 5 years ago - 1 comment

#4 - mem_big_eq

Issue - State: open - Opened by vblot over 5 years ago

#3 - eq_in_map_eq

Issue - State: open - Opened by vblot over 5 years ago

#2 - eq_map_eq

Issue - State: open - Opened by vblot over 5 years ago

#1 - mem_head_or_behead

Issue - State: open - Opened by vblot over 5 years ago