Issues

• Some material is outdated starting from MC 2.0

  math-comp/mcb#149 · Filter by author gares opened on May 31, 2023
  2

• The explanation for the proof of edivnP

  math-comp/mcb#148 · Filter by author akr opened on Mar 11, 2023

• Link on the bottom of the 26th page broken

  math-comp/mcb#144 · Filter by author LessnessRandomness opened on Jul 18, 2022
  1

• comment search in snippets because it is too slow for jscoq and leave warning

  math-comp/mcb#141 · Filter by author andreykl opened on Dec 6, 2021
  2

• Add chapter to outline the difference between coercion mechanism and mechanism of canonical structures

  math-comp/mcb#127 · Filter by author andreykl opened on Jun 22, 2021

• Example of code to add

  math-comp/mcb#126 · Filter by author andreykl opened on Jun 20, 2021

• Possible Type in Section 6.10 Ad-hoc polymorphism

  math-comp/mcb#123 · Filter by author czhang03 opened on Jun 8, 2021

• Possible typo in Section 6.5 "Using a generic theory"

  math-comp/mcb#122 · Filter by author czhang03 opened on Jun 8, 2021
  1

• Typo in Section 6.2

  math-comp/mcb#117 · Filter by author QinshiWang opened on May 20, 2021
  1

• Coercion nat_of_ord

  math-comp/mcb#116 · Filter by author gares opened on May 18, 2021

• Mention VsCoq plugin and Coq Platform

  math-comp/mcb#115 · Filter by author anton-trunov opened on May 10, 2021

• Broken \ref in Section 6.2

  math-comp/mcb#112 · Filter by author olaure01 opened on Feb 14, 2021
  1

• Definition of ex2 on 4.2.1

  math-comp/mcb#106 · Filter by author gaxiiiiiiiiiiii opened on Dec 14, 2020

• Table of contents

  math-comp/mcb#105 · Filter by author amahboubi opened on Nov 20, 2020

• More details needed in fiddling with packed classes

  math-comp/mcb#101 · Filter by author amahboubi opened on Oct 9, 2020

• Macro \mcbimpl does not behave well in lstinline

  math-comp/mcb#100 · Filter by author amahboubi opened on Oct 9, 2020

• Provide the type of the zmodtype constructor early?

  math-comp/mcb#99 · Filter by author amahboubi opened on Oct 9, 2020

• Improve 8.1

  math-comp/mcb#98 · Filter by author amahboubi opened on Oct 9, 2020

• Finite sets

  math-comp/mcb#97 · Filter by author amahboubi opened on Oct 9, 2020

• Notation technicalities in section 7.1.

  math-comp/mcb#95 · Filter by author amahboubi opened on Oct 9, 2020

• Improve transition to section 6.7

  math-comp/mcb#94 · Filter by author amahboubi opened on Oct 9, 2020

• Ad hoc polymorphism and all that

  math-comp/mcb#92 · Filter by author amahboubi opened on Sep 15, 2020
  

• Packed classes vocabulary

  math-comp/mcb#91 · Filter by author amahboubi opened on Sep 15, 2020
  

• Typo page 56: incorrect Definition

  math-comp/mcb#87 · Filter by author usr345 opened on Nov 15, 2019
  2

• make the sentence about == less ambiguous

  math-comp/mcb#86 · Filter by author gares opened on Aug 1, 2019 · 1.0