Search results

FYI: compilation error revealed by apery's CI

Status: Open.

#95 In rocq-community/coqeal;

· affeldt-aist opened on Nov 16, 2024

Refinement of MathComp matrices and matrix operations

Status: Open.

#72 In rocq-community/coqeal;

· palmskog opened on Jan 4, 2023

Consolidation after inclusion of matrix canonical forms

Status: Open.

#55 In rocq-community/coqeal;

· palmskog opened on Oct 26, 2021

problem installing coqeal with opam

Status: Open.

#50 In rocq-community/coqeal;

· thery opened on Sep 21, 2021

Unnecessary assumption in sorted_take

Status: Open.

#40 In rocq-community/coqeal;

· ybertot opened on Jun 12, 2021

Stale branches?

Status: Open.

#20 In rocq-community/coqeal;

· ejgallego opened on Jun 5, 2019