Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dwrensha/lean4-maze issues and pull requests
#3 - Last maze triggers simp heartbeat error
Issue -
State: open - Opened by Julian over 2 years ago
- 2 comments
#2 - Add an 'escape' tactic.
Pull Request -
State: closed - Opened by marcusrossel almost 3 years ago
- 1 comment
#1 - unable to update to lean nightly 2021-11-25
Issue -
State: closed - Opened by dwrensha almost 3 years ago
- 3 comments