Ecosyste.ms: Issues

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

GitHub / math-comp/hierarchy-builder issues and pull requests

#31 - forgot demo2/stage11

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#30 - Travis using Coq docker image instead of rebuilding coq from scratch

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago - 4 comments

#29 - Demo2, about uniform spaces and topological groups

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago - 1 comment

#28 - use typeabbrev for types and assert-ok! for typecheck

Pull Request - State: closed - Opened by gares almost 5 years ago - 1 comment

#27 - HB.structure should not declare the class projection as canonical

Issue - State: closed - Opened by CohenCyril almost 5 years ago - 3 comments

#26 - Talk pittsburgh

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago - 2 comments

#25 - Code reorganization + new example + bugfixes

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago - 2 comments

#24 - Posing a constant for composed factories

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#23 - Section add const

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#22 - code reorganization

Issue - State: closed - Opened by gares almost 5 years ago

#21 - Adding one more example (thus uncovering a bug, now fixed)

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#20 - factory identification

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#19 - BUG with a `coq.env.add-const`

Issue - State: closed - Opened by CohenCyril almost 5 years ago - 2 comments

#18 - Simplifying the Language

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago - 1 comment

#17 - typo

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#16 - Changing and renaming commands

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#15 - Introducting `mixin_requires` + renamings and refactorings

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#14 - class_of -> axioms, Class -> Axioms

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#13 - Fix declare_factory

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#12 - Fixing declare_factory in the case the target is a factory.

Issue - State: closed - Opened by CohenCyril almost 5 years ago - 1 comment

#11 - Generating abbrevations *à la* `pack` for mixin and factory types

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago - 3 comments

#10 - Computing local-structures instead of storing a database

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago

#9 - complete_factory_target

Pull Request - State: closed - Opened by gares almost 5 years ago

#8 - fix canonical_instance

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago - 1 comment

#7 - Fix toposort

Pull Request - State: closed - Opened by pi8027 almost 5 years ago

#6 - Flattening

Pull Request - State: closed - Opened by pi8027 about 5 years ago

#5 - Fix SRIG laws and factories

Pull Request - State: closed - Opened by pi8027 over 5 years ago

#4 - Factories, renamings, and getting rid of axioms

Pull Request - State: closed - Opened by pi8027 over 5 years ago

#3 - nix-shell for coq-elpi

Pull Request - State: closed - Opened by CohenCyril over 5 years ago

#2 - add CI

Pull Request - State: closed - Opened by gares over 5 years ago

#1 - [mock up] RING structure have no inverse

Issue - State: closed - Opened by pi8027 over 5 years ago - 2 comments