Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / pitmonticone/leaninvienna2024 issues and pull requests
#7 - Link to an overview of tactics in Lean 4 for beginners
Pull Request -
State: closed - Opened by madvorak 5 months ago
#6 - update programme (switch Markus' talks)
Pull Request -
State: closed - Opened by shetzl 5 months ago
#5 - add calculus exercises
Pull Request -
State: closed - Opened by lecopivo 5 months ago
- 1 comment
#4 - add BeginnersMistakes
Pull Request -
State: closed - Opened by mo271 5 months ago
- 2 comments
#3 - update Friday schedule
Pull Request -
State: closed - Opened by shetzl 5 months ago
- 1 comment
#2 - after cloning
Pull Request -
State: closed - Opened by madvorak 5 months ago
- 1 comment
#1 - remove left over filename in build
Pull Request -
State: closed - Opened by mo271 5 months ago