Issues
- 0
Mention some material is outdated starting from MC 2.0
#149 opened by gares - 0
The explanation for the proof of edivnP
#148 opened by akr - 1
The order of subgoals in proof of eqnP.
#146 opened by akr - 1
Typo page 117
#145 opened by DanPin7679 - 1
Link on the bottom of the 26th page broken
#144 opened by LessnessRandomness - 0
Add link to jscoq snippets to Introduction chapter, so, users can find it when reading the book
#140 opened by andreykl - 2
comment search in snippets because it is too slow for jscoq and leave warning
#141 opened by andreykl - 1
Broken sentence in 4.3.6
#114 opened by yforster - 4
remove exercises
#75 opened by gares - 2
Issue building with Nix
#131 opened by siraben - 2
Typo in 1.3
#107 opened by xtreme-james-cooper - 7
Chapter 1, section 1.6 : given \sum_ doesn't work
#128 opened by SnarkBoojum - 0
Example of code to add
#126 opened by andreykl - 0
Add chapter to outline the difference between coercion mechanism and mechanism of canonical structures
#127 opened by andreykl - 1
- 0
Possible Type in Section 6.10 Ad-hoc polymorphism
#123 opened by czhang03 - 1
Typo in Section 6.2
#117 opened by QinshiWang - 0
Coercion nat_of_ord
#116 opened by gares - 0
Mention VsCoq plugin and Coq Platform
#115 opened by anton-trunov - 1
Broken \ref in Section 6.2
#112 opened by olaure01 - 0
Definition of ex2 on 4.2.1
#106 opened by gaxiiiiiiiiiiii - 0
Table of contents
#105 opened by amahboubi - 0
More details needed in fiddling with packed classes
#101 opened by amahboubi - 0
Macro \mcbimpl does not behave well in lstinline
#100 opened by amahboubi - 0
- 0
Improve 8.1
#98 opened by amahboubi - 0
Notation technicalities in section 7.1.
#95 opened by amahboubi - 0
Discourse about finite types
#96 opened by amahboubi - 0
Finite sets
#97 opened by amahboubi - 0
Improve transition to section 6.7
#94 opened by amahboubi - 0
Ad hoc polymorphism and all that
#92 opened by amahboubi - 0
Packed classes vocabulary
#91 opened by amahboubi - 5
- 2
Typo page 56: incorrect Definition
#87 opened by usr345 - 0
make the sentence about == less ambiguous
#86 opened by gares - 1
3.4 conversion rule is not the standard one
#79 opened by gares - 0
put back hedberg in ch 7
#85 opened by gares - 0
1.3 listX -> seq
#84 opened by gares - 0
remove ex from ch 6
#83 opened by gares - 0
remove part 3 (synopsis)
#82 opened by gares - 0
give chapters to reviewers
#81 opened by gares - 0
rename chapter 5
#80 opened by gares - 0
\cite[chapter]{Coq:manual} are all wrong
#78 opened by gares - 1
- 0
Remove marginnotes
#76 opened by amahboubi - 1
Some remarks on Chapter 7
#77 opened by chdoc - 1
Book uses left quote instead of backtick.
#70 opened by ihasson - 0
book structure in intro is outdated
#71 opened by gares - 0
add note to section on finite function
#72 opened by gares - 0