math-comp/mcb issues and pull requests

#155 - Fix typo

Pull Request - State: closed - Opened by evnor 11 months ago

#154 - Fix typo in name

Pull Request - State: closed - Opened by ju-sh 11 months ago - 1 comment

#153 - Fix typo

Pull Request - State: closed - Opened by ju-sh 12 months ago

#152 - Fix a typo

Pull Request - State: closed - Opened by ju-sh about 1 year ago - 1 comment

#151 - Fix typos

Pull Request - State: closed - Opened by ligurio about 1 year ago - 1 comment

#150 - fix: :pencil2: correct a typo found in our study group CoqTokyo.

Pull Request - State: closed - Opened by yoshihiro503 over 1 year ago - 1 comment

#150 - fix: :pencil2: correct a typo found in our study group CoqTokyo.

Pull Request - State: closed - Opened by yoshihiro503 over 1 year ago - 1 comment

#149 - Mention some material is outdated starting from MC 2.0

Issue - State: open - Opened by gares over 1 year ago

#149 - Mention some material is outdated starting from MC 2.0

Issue - State: open - Opened by gares over 1 year ago

#148 - The explanation for the proof of edivnP

Issue - State: open - Opened by akr over 1 year ago

#148 - The explanation for the proof of edivnP

Issue - State: open - Opened by akr over 1 year ago

#147 - Update chSpecification.tex

Pull Request - State: closed - Opened by gares over 1 year ago

#147 - Update chSpecification.tex

Pull Request - State: closed - Opened by gares over 1 year ago

#146 - The order of subgoals in proof of eqnP.

Issue - State: closed - Opened by akr over 1 year ago - 1 comment

#146 - The order of subgoals in proof of eqnP.

Issue - State: closed - Opened by akr over 1 year ago - 1 comment

#145 - Typo page 117

Issue - State: closed - Opened by DanPin7679 about 2 years ago - 1 comment

#145 - Typo page 117

Issue - State: closed - Opened by DanPin7679 about 2 years ago - 1 comment

#144 - Link on the bottom of the 26th page broken

Issue - State: open - Opened by LessnessRandomness about 2 years ago - 1 comment

#144 - Link on the bottom of the 26th page broken

Issue - State: open - Opened by LessnessRandomness about 2 years ago - 1 comment

#143 - link to snippets (fix #140)

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

#143 - link to snippets (fix #140)

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

#142 - snippets changed: ch1 ch2 ch3 ch4 ch5 better reflect book content now

Pull Request - State: closed - Opened by andreykl almost 3 years ago - 1 comment

#142 - snippets changed: ch1 ch2 ch3 ch4 ch5 better reflect book content now

Pull Request - State: closed - Opened by andreykl almost 3 years ago - 1 comment

#141 - comment search in snippets because it is too slow for jscoq and leave warning

Issue - State: open - Opened by andreykl almost 3 years ago - 2 comments

#141 - comment search in snippets because it is too slow for jscoq and leave warning

Issue - State: open - Opened by andreykl almost 3 years ago - 2 comments

#140 - Add link to jscoq snippets to Introduction chapter, so, users can find it when reading the book

Issue - State: closed - Opened by andreykl almost 3 years ago

#140 - Add link to jscoq snippets to Introduction chapter, so, users can find it when reading the book

Issue - State: closed - Opened by andreykl almost 3 years ago

#139 - Add Nix flake

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

#139 - Add Nix flake

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

#138 - change inconsistent usage of idfun

Pull Request - State: closed - Opened by jzc about 3 years ago

#138 - change inconsistent usage of idfun

Pull Request - State: closed - Opened by jzc about 3 years ago

#137 - further corrections(?)

Pull Request - State: open - Opened by darijgr about 3 years ago - 3 comments

#136 - Minor wording adjustments

Pull Request - State: closed - Opened by siraben about 3 years ago - 1 comment

#136 - Minor wording adjustments

Pull Request - State: closed - Opened by siraben about 3 years ago - 1 comment

#135 - minor improvements(?)

Pull Request - State: closed - Opened by darijgr about 3 years ago - 1 comment

#135 - minor improvements(?)

Pull Request - State: closed - Opened by darijgr about 3 years ago - 1 comment

#134 - Add badge and mention Nix and CI

Pull Request - State: closed - Opened by siraben about 3 years ago

#134 - Add badge and mention Nix and CI

Pull Request - State: closed - Opened by siraben about 3 years ago

#133 - Fix some typos and adjust wording

Pull Request - State: closed - Opened by siraben about 3 years ago

#133 - Fix some typos and adjust wording

Pull Request - State: closed - Opened by siraben about 3 years ago

#132 - Add GitHub Actions

Pull Request - State: closed - Opened by siraben about 3 years ago - 3 comments

#132 - Add GitHub Actions

Pull Request - State: closed - Opened by siraben about 3 years ago - 3 comments

#131 - Issue building with Nix

Issue - State: closed - Opened by siraben about 3 years ago - 2 comments

#131 - Issue building with Nix

Issue - State: closed - Opened by siraben about 3 years ago - 2 comments

#130 - Fix various typos

Pull Request - State: closed - Opened by siraben about 3 years ago - 1 comment

#130 - Fix various typos

Pull Request - State: closed - Opened by siraben about 3 years ago - 1 comment

#129 - explain in chap1, that all snippets have to be executed in order

Pull Request - State: closed - Opened by ybertot over 3 years ago - 1 comment

#129 - explain in chap1, that all snippets have to be executed in order

Pull Request - State: closed - Opened by ybertot over 3 years ago - 1 comment

#128 - Chapter 1, section 1.6 : given \sum_ doesn't work

Issue - State: closed - Opened by SnarkBoojum over 3 years ago - 7 comments

#128 - Chapter 1, section 1.6 : given \sum_ doesn't work

Issue - State: closed - Opened by SnarkBoojum over 3 years ago - 7 comments

#127 - Add chapter to outline the difference between coercion mechanism and mechanism of canonical structures

Issue - State: open - Opened by andreykl over 3 years ago

#127 - Add chapter to outline the difference between coercion mechanism and mechanism of canonical structures

Issue - State: open - Opened by andreykl over 3 years ago

#126 - Example of code to add

Issue - State: open - Opened by andreykl over 3 years ago

#126 - Example of code to add

Issue - State: open - Opened by andreykl over 3 years ago

#125 - fix github pages build

Pull Request - State: closed - Opened by andreykl over 3 years ago

#125 - fix github pages build

Pull Request - State: closed - Opened by andreykl over 3 years ago

#124 - updating jscoq snippets for docs folder

Pull Request - State: closed - Opened by andreykl over 3 years ago

#124 - updating jscoq snippets for docs folder

Pull Request - State: closed - Opened by andreykl over 3 years ago

#123 - Possible Type in Section 6.10 Ad-hoc polymorphism

Issue - State: open - Opened by czhang03 over 3 years ago

#123 - Possible Type in Section 6.10 Ad-hoc polymorphism

Issue - State: open - Opened by czhang03 over 3 years ago

#122 - Possible typo in Section 6.5 "Using a generic theory"

Issue - State: open - Opened by czhang03 over 3 years ago - 1 comment

#121 - Fix .v files + jscoq

Pull Request - State: closed - Opened by gares over 3 years ago - 1 comment

#121 - Fix .v files + jscoq

Pull Request - State: closed - Opened by gares over 3 years ago - 1 comment

#120 - intended meeting?

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

#120 - intended meeting?

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

#119 - correct typos

Pull Request - State: closed - Opened by marklemay over 3 years ago - 1 comment

#119 - correct typos

Pull Request - State: closed - Opened by marklemay over 3 years ago - 1 comment

#118 - correct typo

Pull Request - State: closed - Opened by marklemay over 3 years ago - 1 comment

#118 - correct typo

Pull Request - State: closed - Opened by marklemay over 3 years ago - 1 comment

#117 - Typo in Section 6.2

Issue - State: open - Opened by QinshiWang over 3 years ago - 1 comment

#117 - Typo in Section 6.2

Issue - State: open - Opened by QinshiWang over 3 years ago - 1 comment

#116 - Coercion nat_of_ord

Issue - State: open - Opened by gares over 3 years ago

#116 - Coercion nat_of_ord

Issue - State: open - Opened by gares over 3 years ago

#115 - Mention VsCoq plugin and Coq Platform

Issue - State: open - Opened by anton-trunov over 3 years ago

#115 - Mention VsCoq plugin and Coq Platform

Issue - State: open - Opened by anton-trunov over 3 years ago

#114 - Broken sentence in 4.3.6

Issue - State: closed - Opened by yforster over 3 years ago - 1 comment

#113 - Typo Section 6.2

Pull Request - State: closed - Opened by olaure01 over 3 years ago - 1 comment