Code

Add some reduction notations#2017

Code

Merged

JasonGross merged 1 commit intomit-plv:mastermit-plv/fiat-crypto:masterfrom JasonGross:reduction-notationsJasonGross/fiat-crypto:reduction-notationsCopy head branch name to clipboardMar 3, 2025

+8

Commits

Commits on Mar 2, 2025

• Add some reduction notations

  JasonGross

  committed
  2a451ab

  Copy full SHA for 2a451ab