Code

map num to N (binary naturals)#6

Code

Closed

fblanqui wants to merge 8 commits intoDeducteam:mainDeducteam/coq-hol-light-real-with-nat:mainfrom fblanqui:binnatfblanqui/coq-hol-light-real-with-nat:binnatCopy head branch name to clipboard

+3,402-1,451

Commits

Commits on Jan 11, 2025

• map num to N (binary naturals)

  fblanqui

  committed
  53373a0

  Copy full SHA for 53373a0

• wip

  fblanqui

  committed
  6844f29

  Copy full SHA for 6844f29

• wip

  fblanqui

  committed
  4e3477f

  Copy full SHA for 4e3477f

• wip

  fblanqui

  committed
  7936542

  Copy full SHA for 7936542

• wip

  fblanqui

  committed
  ff0796b

  Copy full SHA for ff0796b

• wip

  fblanqui

  committed
  bb219ab

  Copy full SHA for bb219ab

• wip

  fblanqui

  committed
  03aa4be

  Copy full SHA for 03aa4be

• wip

  fblanqui

  committed
  bcea7ab

  Copy full SHA for bcea7ab