Ecosyste.ms: Issues

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

GitHub / kbuzzard/xena issues and pull requests

#26 - import the necessary context for challenge 8

Pull Request - State: open - Opened by Ezra over 2 years ago

#23 - complex.lean example of norm_cast

Issue - State: open - Opened by kbuzzard over 4 years ago

#22 - Fix Typo and old link in hits

Pull Request - State: closed - Opened by Shiney over 4 years ago - 1 comment

#21 - challenge 3 isn't challenge 2

Pull Request - State: open - Opened by robertylewis almost 5 years ago - 1 comment

#20 - I needed cc to at the end to make the proof go through

Pull Request - State: open - Opened by holtzermann17 almost 6 years ago

#19 - one more line to show that ¬P is a function

Pull Request - State: open - Opened by holtzermann17 almost 6 years ago

#18 - Correct minor typo in README.md

Pull Request - State: open - Opened by joker314 almost 6 years ago

#17 - delete backup files & do not commit in future

Pull Request - State: closed - Opened by jlpaca about 6 years ago - 1 comment

#16 - Tidy up this repo

Issue - State: open - Opened by kbuzzard about 6 years ago - 2 comments

#15 - Create Chris_Hughes_finite_groups

Pull Request - State: closed - Opened by ChrisHughes24 over 6 years ago

#14 - Research-level definitions which are missing in Lean

Issue - State: open - Opened by kbuzzard almost 7 years ago

#13 - Create Chris_Hughes_real_exponential.lean

Pull Request - State: closed - Opened by ChrisHughes24 almost 7 years ago

#12 - Create Chris_Hughes_fermat_sum_two_squares.lean

Pull Request - State: closed - Opened by ChrisHughes24 almost 7 years ago

#11 - matrices

Pull Request - State: closed - Opened by EllenArlt almost 7 years ago

#10 - Create solution_2e

Pull Request - State: closed - Opened by ChrisHughes24 almost 7 years ago

#9 - Create blue_eyed_islander

Pull Request - State: closed - Opened by ChrisHughes24 almost 7 years ago

#8 - Create blue_eyed_islander

Pull Request - State: closed - Opened by ChrisHughes24 almost 7 years ago

#7 - Create fermat_little.lean

Pull Request - State: closed - Opened by ChrisHughes24 almost 7 years ago

#6 - Create graph.lean

Pull Request - State: closed - Opened by TudorTitan about 7 years ago

#5 - update M1S

Pull Request - State: closed - Opened by kckennylau about 7 years ago

#4 - Update Q5 and Q6 of Problem Sheet 1 of 2017/18

Pull Request - State: closed - Opened by kckennylau about 7 years ago

#3 - using braces to focus on the first goal

Pull Request - State: closed - Opened by kim-em about 7 years ago - 1 comment

#2 - M1F Sheet 1 Question 1 part (a)

Pull Request - State: closed - Opened by kbuzzard about 7 years ago

#1 - Readme edits

Pull Request - State: closed - Opened by kbuzzard about 7 years ago