Ecosyste.ms: Issues

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

GitHub / marigold-dev/easier-proofs issues and pull requests

#5 - Restores example nat.ml by removing "test_conj"

Pull Request - State: closed - Opened by aguillon almost 3 years ago - 1 comment

#4 - The Nat example is not working

Issue - State: closed - Opened by aguillon almost 3 years ago

#3 - Quyen@opt two

Pull Request - State: closed - Opened by lykimq almost 3 years ago

#2 - Quyen@optimise main

Pull Request - State: closed - Opened by lykimq almost 3 years ago

#1 - Quyen@cosmetic easy proof

Pull Request - State: closed - Opened by lykimq almost 3 years ago