Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gares/math-comp-school-2022 issues and pull requests
#10 - Update lesson 5
Pull Request -
State: closed - Opened by CohenCyril almost 2 years ago
- 6 comments
#9 - proof golfing in solutions of exercises 2
Pull Request -
State: open - Opened by CohenCyril almost 2 years ago
#8 - Refresh lesson5
Pull Request -
State: closed - Opened by CohenCyril almost 2 years ago
- 1 comment
#7 - Update opam
Pull Request -
State: closed - Opened by gares almost 2 years ago
#6 - update toolbox (algebra tactics is now in nixpkgs \o/)
Pull Request -
State: closed - Opened by CohenCyril almost 2 years ago
#5 - rework 1 and 4
Pull Request -
State: closed - Opened by gares about 2 years ago
#4 - Setting up cachix
Pull Request -
State: closed - Opened by CohenCyril about 2 years ago
#3 - Add nix + CI
Pull Request -
State: closed - Opened by CohenCyril about 2 years ago
#2 - fix exercise5.v
Pull Request -
State: closed - Opened by CohenCyril about 2 years ago
#1 - tentative nix files + CI
Pull Request -
State: closed - Opened by CohenCyril about 2 years ago
- 3 comments