Ecosyste.ms: Issues

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

GitHub / logsem/talent-track-2020 issues and pull requests

#8 - Progress preservation

Pull Request - State: closed - Opened by lassemoldrup about 4 years ago

#7 - Lemma proofs

Pull Request - State: closed - Opened by lassemoldrup about 4 years ago

#6 - WIP: Lemma proofs

Pull Request - State: closed - Opened by lassemoldrup about 4 years ago

#5 - Added shift and subst lemmas (yet to be proven)

Pull Request - State: closed - Opened by lassemoldrup over 4 years ago

#4 - Added example and some questions

Pull Request - State: closed - Opened by dangerstone over 4 years ago

#3 - Eval

Pull Request - State: closed - Opened by lassemoldrup over 4 years ago

#2 - Operational semantics-setup; implemented shift and subst

Pull Request - State: closed - Opened by dangerstone over 4 years ago - 1 comment

#1 - Updated definitions

Pull Request - State: closed - Opened by lassemoldrup over 4 years ago