Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / imperialcollegelondon/formalising-mathematics-2024 issues and pull requests
#9 - `README.md` - codespaces instructions => codespaces button
Pull Request -
State: open - Opened by lakesare 3 months ago
#9 - `README.md` - codespaces instructions => codespaces button
Pull Request -
State: open - Opened by lakesare 3 months ago
#8 - fix typo on lemma type
Pull Request -
State: open - Opened by Equilibris 3 months ago
#8 - fix typo on lemma type
Pull Request -
State: open - Opened by Equilibris 3 months ago
#7 - update instruction comments to conform with Lean4 syntax
Pull Request -
State: closed - Opened by Deep0Thinking 6 months ago
- 1 comment
#7 - update instruction comments to conform with Lean4 syntax
Pull Request -
State: closed - Opened by Deep0Thinking 6 months ago
- 1 comment
#6 - fix: typo at section 1 sheet 5: `refl` not used but `rfl`
Pull Request -
State: closed - Opened by YunkaiZhang233 6 months ago
- 1 comment
#6 - fix: typo at section 1 sheet 5: `refl` not used but `rfl`
Pull Request -
State: closed - Opened by YunkaiZhang233 6 months ago
- 1 comment
#5 - Typo Fit at Section 01 Logic Sheet 5: `rfl` instead of `refl` in Lean 4
Pull Request -
State: closed - Opened by YunkaiZhang233 6 months ago
#5 - Typo Fit at Section 01 Logic Sheet 5: `rfl` instead of `refl` in Lean 4
Pull Request -
State: closed - Opened by YunkaiZhang233 6 months ago
#4 - Update Sheet2.lean
Pull Request -
State: closed - Opened by ldct 10 months ago
- 1 comment
#4 - Update Sheet2.lean
Pull Request -
State: closed - Opened by ldct 10 months ago
- 1 comment
#3 - Ported unported sections, updated documentation and comments
Pull Request -
State: closed - Opened by jjaassoonn 10 months ago
#2 - Consistent `by` keyword usage
Pull Request -
State: closed - Opened by nazariyv 10 months ago
#1 - Fix typos
Pull Request -
State: closed - Opened by pitmonticone 10 months ago