Issues

• Inferring boolean equality deciders and their correctness

  mit-plv/coqutil#185 · Filter by author samuelgruetter opened on Sep 3, 2026
  2

• hooking word into lia

  mit-plv/coqutil#56 · Filter by author JasonGross opened on Jan 26, 2022
  3

• Merging fiat-crypto utilities into coqutil?

  question
  mit-plv/coqutil#55 · Filter by author JasonGross opened on Jan 26, 2022
  2

• It would be better if coqutil used no axioms

  mit-plv/coqutil#25 · Filter by author JasonGross opened on Apr 10, 2020
  5

• There is no validate target, and if there were one, it would fail

  mit-plv/coqutil#24 · Filter by author JasonGross opened on Apr 10, 2020

• coqutil.Map.SortedListString.map cannot be extracted

  mit-plv/coqutil#22 · Filter by author JasonGross opened on Mar 25, 2020
  5