Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dmxlarchey/kruskal-trees issues and pull requests
#7 - Additional results about Forall2
Pull Request -
State: closed - Opened by DmxLarchey 9 months ago
#6 - Update Coq versions
Pull Request -
State: closed - Opened by jjhugues 9 months ago
- 6 comments
#5 - Computing the leaves of a finitary well-founded fan
Pull Request -
State: open - Opened by DmxLarchey almost 2 years ago
#4 - The nested short lex strongly total strict order on rose trees
Pull Request -
State: closed - Opened by DmxLarchey about 2 years ago
Labels: enhancement
#3 - Translation layer for 8.16 hopefully works for 8.1[45] as well
Pull Request -
State: closed - Opened by DmxLarchey about 2 years ago
- 2 comments
#2 - Adding decidability of equality for dtree/vtree
Pull Request -
State: closed - Opened by DmxLarchey about 2 years ago
- 2 comments
#1 - Opam publish fails
Issue -
State: closed - Opened by DmxLarchey about 2 years ago
- 12 comments