Ecosyste.ms: Issues

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

GitHub / coq-community/dedekind-reals issues and pull requests

#22 - Separate theories directory, explicit require-import

Pull Request - State: closed - Opened by palmskog 4 months ago

#22 - Separate theories directory, explicit require-import

Pull Request - State: closed - Opened by palmskog 4 months ago

#21 - Rebase changes from earlier Cauchy PR

Pull Request - State: closed - Opened by palmskog 4 months ago

#21 - Rebase changes from earlier Cauchy PR

Pull Request - State: closed - Opened by palmskog 4 months ago

#20 - Fix deprecations of auto using in Coq 8.20

Pull Request - State: closed - Opened by palmskog 4 months ago

#20 - Fix deprecations of auto using in Coq 8.20

Pull Request - State: closed - Opened by palmskog 4 months ago

#18 - Updated .gitignore to include new cache files

Pull Request - State: closed - Opened by peterlefanulumsdaine 5 months ago

#18 - Updated .gitignore to include new cache files

Pull Request - State: closed - Opened by peterlefanulumsdaine 5 months ago

#17 - compatibility with Coq 8.11 to 8.13

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

#17 - compatibility with Coq 8.11 to 8.13

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

#16 - Prove that the lift of negated disjunctions is enough to merge Cauchy…

Pull Request - State: closed - Opened by VincentSe about 5 years ago - 1 comment

#16 - Prove that the lift of negated disjunctions is enough to merge Cauchy…

Pull Request - State: closed - Opened by VincentSe about 5 years ago - 1 comment

#15 - Prove division

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

#15 - Prove division

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

#14 - Inverse impossible to define

Issue - State: closed - Opened by VincentSe over 5 years ago - 3 comments

#14 - Inverse impossible to define

Issue - State: closed - Opened by VincentSe over 5 years ago - 3 comments

#13 - Prove the distributivity and associativity of the multiplication

Pull Request - State: closed - Opened by VincentSe over 5 years ago - 2 comments

#13 - Prove the distributivity and associativity of the multiplication

Pull Request - State: closed - Opened by VincentSe over 5 years ago - 2 comments

#12 - Prove that decidable Rlt implies LPO

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

#12 - Prove that decidable Rlt implies LPO

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

#11 - Prove Archimedean

Pull Request - State: closed - Opened by VincentSe over 5 years ago - 1 comment

#11 - Prove Archimedean

Pull Request - State: closed - Opened by VincentSe over 5 years ago - 1 comment

#10 - Prove the definition of the multiplication

Pull Request - State: closed - Opened by VincentSe over 5 years ago - 1 comment

#10 - Prove the definition of the multiplication

Pull Request - State: closed - Opened by VincentSe over 5 years ago - 1 comment

#9 - avoid excluded middle in Order.v

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

#9 - avoid excluded middle in Order.v

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

#8 - Equality not decidable on the real numbers

Issue - State: closed - Opened by VincentSe over 5 years ago - 14 comments

#8 - Equality not decidable on the real numbers

Issue - State: closed - Opened by VincentSe over 5 years ago - 14 comments

#7 - remove mutual circular Import dependency

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

#7 - remove mutual circular Import dependency

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

#6 - Kako nam gre?

Issue - State: closed - Opened by andrejbauer almost 11 years ago - 1 comment

#5 - Hitro vprašanje

Issue - State: closed - Opened by VitoJanko almost 11 years ago - 9 comments

#4 - Rlt defined with exists

Issue - State: closed - Opened by andrejbauer almost 11 years ago

#3 - Reverting back to doing things by hand.

Issue - State: closed - Opened by andrejbauer almost 11 years ago

#2 - CoqIde v Windowsih

Issue - State: closed - Opened by senicag almost 11 years ago - 3 comments

#1 - Seminar jutri (torek 26. 11. 2013)

Issue - State: closed - Opened by andrejbauer almost 11 years ago - 4 comments