Issues

• U1 vs. 1U

  math-comp/finmap#146 · Filter by author arthuraa opened on Nov 8, 2025
  

• Align finmap with mathcomp releases?

  math-comp/finmap#129 · Filter by author hoheinzollern opened on Apr 25, 2025

• update the github description by removing the mention to generic sets?

  documentation
  math-comp/finmap#115 · Filter by author affeldt-aist opened on Dec 2, 2024

• Missing coercion from finSet to finType

  math-comp/finmap#102 · Filter by author rhz opened on Nov 18, 2022

• Need Coq.Program.Tactics.

  math-comp/finmap#85 · Filter by author corwin-of-amber opened on Sep 27, 2021
  3

• Notation issues for imfset

  math-comp/finmap#73 · Filter by author chdoc opened on Aug 25, 2020
  3

• Add finmap to Coq's CI

  math-comp/finmap#65 · Filter by author anton-trunov opened on Apr 6, 2020

• Fset of a fintype

  math-comp/finmap#55 · Filter by author Nemeras opened on Jun 26, 2019
  3

• Should "unit_irrelevance" fact be moved elsewhere?

  math-comp/finmap#28 · Filter by author anton-trunov opened on Sep 11, 2018
  9

• Simplification in imset2 should be locked

  math-comp/finmap#26 · Filter by author hivert opened on Aug 29, 2018
  1

• Bad notations interaction

  math-comp/finmap#11 · Filter by author strub opened on Feb 2, 2017

• Some finmap/multiset lemmas that might be useful

  math-comp/finmap#4 · Filter by author mituharu opened on May 28, 2016
  2