Search results

Some material is outdated starting from MC 2.0

Status: Open.

#149 In math-comp/mcb;

· gares opened on May 31, 2023

The explanation for the proof of edivnP

Status: Open.

#148 In math-comp/mcb;

· akr opened on Mar 11, 2023

Link on the bottom of the 26th page broken

Status: Open.

#144 In math-comp/mcb;

· LessnessRandomness opened on Jul 18, 2022

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

Status: Open.

#141 In math-comp/mcb;

· andreykl opened on Dec 6, 2021

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

Status: Open.

#127 In math-comp/mcb;

· andreykl opened on Jun 22, 2021

Example of code to add

Status: Open.

#126 In math-comp/mcb;

· andreykl opened on Jun 20, 2021

Possible Type in Section 6.10 Ad-hoc polymorphism

Status: Open.

#123 In math-comp/mcb;

· czhang03 opened on Jun 8, 2021

Possible typo in Section 6.5 "Using a generic theory"

Status: Open.

#122 In math-comp/mcb;

· czhang03 opened on Jun 8, 2021

Typo in Section 6.2

Status: Open.

#117 In math-comp/mcb;

· QinshiWang opened on May 20, 2021

Coercion nat_of_ord

Status: Open.

#116 In math-comp/mcb;

· gares opened on May 18, 2021

Mention VsCoq plugin and Coq Platform

Status: Open.

#115 In math-comp/mcb;

· anton-trunov opened on May 10, 2021

Broken \ref in Section 6.2

Status: Open.

#112 In math-comp/mcb;

· olaure01 opened on Feb 14, 2021