Ecosyste.ms: Issues

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

GitHub / theowinterhalter/ett-to-itt issues and pull requests

#9 - Conversion fails to build

Issue - State: closed - Opened by dwarfmaster almost 4 years ago - 10 comments

#8 - Update to 8.11

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

#7 - Weak without heq

Pull Request - State: closed - Opened by TheoWinterhalter almost 6 years ago

#6 - Cleaning

Pull Request - State: closed - Opened by TheoWinterhalter about 6 years ago

#6 - Cleaning

Pull Request - State: closed - Opened by TheoWinterhalter about 6 years ago

#5 - Plugin

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago

#5 - Plugin

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago

#4 - Adapt to Coq8.8.1 and TemplateCoq v2.1~beta3

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago

#4 - Adapt to Coq8.8.1 and TemplateCoq v2.1~beta3

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago

#3 - Meta-theoretical results about ETT

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago - 1 comment

#2 - Extend the notion of sorts to handle HTS/2TT

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago

#2 - Extend the notion of sorts to handle HTS/2TT

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago

#1 - Type in type

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago

#1 - Type in type

Pull Request - State: closed - Opened by TheoWinterhalter over 6 years ago