Ecosyste.ms: Issues

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

GitHub / UniMath/UniMath issues and pull requests

#40 - "make" has to be run twice

Issue - State: closed - Opened by DanGrayson about 10 years ago - 4 comments

#39 - "induction" instead of "destruct"

Pull Request - State: closed - Opened by DanGrayson about 10 years ago - 1 comment

#38 - pruned some auxiliary lemmas in RC

Pull Request - State: closed - Opened by benediktahrens about 10 years ago

#37 - Use inductions instead of destructs in uu0

Pull Request - State: closed - Opened by vladimirias about 10 years ago - 2 comments

#36 - timing info in README

Pull Request - State: closed - Opened by benediktahrens about 10 years ago - 1 comment

#35 - Introduce some path notations in Foundations, do not use submodules in Foundations

Pull Request - State: closed - Opened by benediktahrens about 10 years ago - 11 comments

#34 - Enhanced Coqdoc - proofs can be collapsed and hidden

Pull Request - State: closed - Opened by benediktahrens about 10 years ago - 5 comments

#33 - Put "Proof." and "Qed."/"Defined." on its own line

Issue - State: closed - Opened by benediktahrens about 10 years ago - 3 comments

#32 - Use ssreflect documentation style: summary at the beginning of the file, explain the important constants

Issue - State: closed - Opened by benediktahrens about 10 years ago - 2 comments
Labels: pull request submitted

#30 - Synching multiple changes

Pull Request - State: closed - Opened by vladimirias about 10 years ago - 2 comments

#29 - remark about missing native compiler

Pull Request - State: closed - Opened by benediktahrens about 10 years ago - 2 comments

#28 - 3 lemmas for precategories

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#27 - updating sub/coq

Issue - State: closed - Opened by DanGrayson over 10 years ago

#26 - added version of weqimplimpl to hProp

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#25 - composition with iso is weq

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#24 - Vv master for coq8.4pl3patched

Pull Request - State: closed - Opened by andrejbauer over 10 years ago - 6 comments

#23 - identity coercion from UU to Type

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#22 - Work added to bsystem.v Universe Inconsistency issue

Pull Request - State: closed - Opened by vladimirias over 10 years ago

#21 - More changes to bsystems.v

Pull Request - State: closed - Opened by vladimirias over 10 years ago

#20 - Updated bsystems.v

Pull Request - State: closed - Opened by vladimirias over 10 years ago

#19 - my latest work

Pull Request - State: closed - Opened by DanGrayson over 10 years ago

#18 - Presburger algorithm

Issue - State: closed - Opened by DanGrayson over 10 years ago - 5 comments

#17 - switch from "make" to "scons" for building

Issue - State: closed - Opened by DanGrayson over 10 years ago - 1 comment

#16 - change Axiom etacorrection to a Definition

Pull Request - State: closed - Opened by DanGrayson over 10 years ago

#15 - updated README

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#14 - bulleted sublists in a readme

Pull Request - State: closed - Opened by DanGrayson over 10 years ago

#13 - Pull 7

Pull Request - State: closed - Opened by DanGrayson over 10 years ago - 2 comments

#12 - Toplevel documentation

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#11 - Documentation

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#10 - remove all LoadPath commands

Pull Request - State: closed - Opened by DanGrayson over 10 years ago - 7 comments

#9 - minusgeh0 is useless

Issue - State: closed - Opened by DanGrayson over 10 years ago - 5 comments

#8 - Pull 5

Pull Request - State: closed - Opened by DanGrayson over 10 years ago - 4 comments

#7 - annotate weqonsecbase with its type

Pull Request - State: closed - Opened by DanGrayson over 10 years ago - 3 comments

#6 - simplify the proof of weqdirprodcomm in uu0

Pull Request - State: closed - Opened by DanGrayson over 10 years ago - 2 comments

#5 - stop using notation transport for transportf

Pull Request - State: closed - Opened by DanGrayson over 10 years ago

#4 - remove some development files

Pull Request - State: closed - Opened by DanGrayson over 10 years ago

#3 - update gitignore

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#2 - remove checks and abouts

Pull Request - State: closed - Opened by benediktahrens over 10 years ago

#1 - removed some experimental files from RC

Pull Request - State: closed - Opened by benediktahrens over 10 years ago