Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ImperialCollegeLondon/M1F-explained issues and pull requests
#16 - ex 1 and 7 progress
Pull Request -
State: closed - Opened by ARazaMaths over 1 year ago
- 1 comment
#15 - Chapter 10 Exercise 08
Pull Request -
State: closed - Opened by archiebrowne over 1 year ago
- 2 comments
#14 - Chapter 10 Exercise 02
Pull Request -
State: closed - Opened by archiebrowne over 1 year ago
- 3 comments
#13 - Chapter 10, Exercise 09 + restatement of Exercise 02
Pull Request -
State: closed - Opened by archiebrowne over 1 year ago
- 3 comments
#12 - Chapter 10 Exercise 07
Pull Request -
State: closed - Opened by archiebrowne over 1 year ago
#11 - tidy up
Pull Request -
State: closed - Opened by kbuzzard over 1 year ago
#10 - Chapter 10 Exercise 04 complete
Pull Request -
State: closed - Opened by archiebrowne over 1 year ago
- 3 comments
#9 - Chapter10 Exercise 05
Pull Request -
State: closed - Opened by archiebrowne over 1 year ago
- 1 comment
#8 - Exercise 5 Formalised and Exercise 3 refactored
Pull Request -
State: closed - Opened by ARazaMaths over 1 year ago
- 1 comment
#7 - Add Chapter 6 Exercise 01 formalised and proved.
Pull Request -
State: closed - Opened by SnowBallMacaron over 1 year ago
- 3 comments
#6 - Chapter 10 E01, 02, 03, 04, 05 various changes
Pull Request -
State: closed - Opened by archiebrowne over 1 year ago
#5 - Add exercise 9 chapter 1 problem statements + few proofs
Pull Request -
State: closed - Opened by aris-uu over 1 year ago
- 1 comment
#4 - Chapter 10, Exercise 01, first attempt.
Pull Request -
State: closed - Opened by archiebrowne over 1 year ago
- 1 comment
#3 - Chapter 25 Exercise 3
Pull Request -
State: closed - Opened by ARazaMaths over 1 year ago
- 5 comments
#2 - Formalising question statements
Issue -
State: open - Opened by kbuzzard over 1 year ago
#1 - Move material from the old Lean 3 repo
Issue -
State: closed - Opened by kbuzzard over 1 year ago
- 2 comments