Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jaycech3n/isabelle-hott issues and pull requests
#9 - Tactics looping on Isabelle2021
Issue -
State: open - Opened by jaycech3n about 4 years ago
- 1 comment
Labels: version incompatibility
#8 - Merge big diff on dev
Pull Request -
State: closed - Opened by jaycech3n over 4 years ago
#7 - Ci action
Pull Request -
State: closed - Opened by jaycech3n over 4 years ago
#6 - Some corrections and additions
Pull Request -
State: closed - Opened by dan323 almost 6 years ago
- 1 comment
#5 - Automatic export of proof terms
Issue -
State: closed - Opened by jaycech3n almost 6 years ago
- 3 comments
Labels: enhancement, automation
#4 - ascii-fy notation
Issue -
State: closed - Opened by jaycech3n about 6 years ago
- 1 comment
Labels: enhancement
#3 - add ROOT file
Pull Request -
State: closed - Opened by larsrh over 6 years ago
- 1 comment
#2 - Pure equality vs defined definitional equality
Issue -
State: open - Opened by jaycech3n over 6 years ago
- 1 comment
Labels: logic
#1 - Rules are not grouped well for automation
Issue -
State: closed - Opened by jaycech3n over 6 years ago
- 2 comments
Labels: methods