Code

Various F* core lib additions.#1273

Code

Merged

maximebuyse merged 2 commits intomaincryspen/hax:mainfrom various-core-additionscryspen/hax:various-core-additionsCopy head branch name to clipboardJan 30, 2025

Commits

Commits on Jan 28, 2025

• Various F* core lib additions.

  maximebuyse

  committed
  97f3711

  Copy full SHA for 97f3711

Commits on Jan 29, 2025

• Include lib changes from pq11-fstar-libs.

  maximebuyse

  committed
  4e679c3

  Copy full SHA for 4e679c3