Search results

<code>make html</code> also has the dependency libraries

Status: Open.

#1777 In math-comp/analysis;

· yoshihiro503 opened on Nov 26, 2025

<code>closure_limit_point</code> can also be expressed as a disjoint union

enhancement ✨This issue/PR is about adding new features enhancing the libraryThis issue/PR is about adding new features enhancing the library

Status: Open.

#1775 In math-comp/analysis;

· affeldt-aist opened on Nov 25, 2025

· 

1.15.0

<code>notP</code> is defined twice

"bug" 🐛This issue (resp. PR) describes (resp. fixes) a "bug"This issue (resp. PR) describes (resp. fixes) a "bug"

Status: Open.

#1774 In math-comp/analysis;

· affeldt-aist opened on Nov 24, 2025

· 

1.15.0

mark as deprecated

Status: Open.

#1771 In math-comp/analysis;

· affeldt-aist opened on Nov 20, 2025

· 

1.15.0

<code>variation_cat</code>

Status: Open.

#1770 In math-comp/analysis;

· affeldt-aist opened on Nov 20, 2025

· 

1.15.0

undocumented notation

documentation 📝This issue/PR is about documentation of the library / repositoryThis issue/PR is about documentation of the library / repository

Status: Open.

#1756 In math-comp/analysis;

· affeldt-aist opened on Nov 14, 2025

· 

1.15.0

change of opam category

packaging/releasingIssue/PR about packaging or realising.Issue/PR about packaging or realising.

Status: Open.

#1755 In math-comp/analysis;

· affeldt-aist opened on Nov 12, 2025

· 

1.15.0

rename <code>induced</code> -&gt; <code>induced_charge</code>

renaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the library

Status: Open.

#1754 In math-comp/analysis;

· affeldt-aist opened on Nov 11, 2025

· 

1.15.0

use of deprecated options of Rocqnavi to generate the documentation

documentation 📝This issue/PR is about documentation of the library / repositoryThis issue/PR is about documentation of the library / repository

Status: Open.

#1749 In math-comp/analysis;

· affeldt-aist opened on Nov 7, 2025

· 

1.15.0

integrals w.r.t. lebesgue_measure and completed_lebesgue_measure agree

Status: Open.

#1746 In math-comp/analysis;

· screenl opened on Nov 1, 2025

Expand the notation <code>{within _, _ _}</code>?

Status: Open.

#1740 In math-comp/analysis;

· IshiguroYoshihiro opened on Oct 28, 2025

Remove <code>bigmaxr</code> from <code>Rstruct.v</code>?

renaming/refactoring 🔧This is about a renaming or refactoring in the libraryThis is about a renaming or refactoring in the library

Status: Open.

#1739 In math-comp/analysis;

· affeldt-aist opened on Oct 24, 2025

· 

1.15.0