Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mbovel/itp-project issues and pull requests

#9 - WIP: Report

Pull Request - State: closed - Opened by mbovel 6 months ago

#7 - Simplify union_different_same_repr

Pull Request - State: closed - Opened by mbovel 6 months ago

#6 - Disjoint set proof

Pull Request - State: closed - Opened by mbovel 7 months ago

#5 - Prove union_correct, and some lemmas

Pull Request - State: closed - Opened by mbovel 7 months ago - 4 comments

#4 - Disjoint set, modules version

Pull Request - State: closed - Opened by mbovel 7 months ago

#3 - [WIP] Disjoint set, type class version

Pull Request - State: closed - Opened by mbovel 7 months ago

#2 - Resources

Issue - State: open - Opened by samuelchassot 7 months ago

#1 - Create Readme.md

Pull Request - State: closed - Opened by mbovel 8 months ago