Code

Feature/coq#1022

Code

Open

jmikedupont2 wants to merge 3 commits intoo1-labs:maino1-labs/docs2:mainfrom meta-introspector:feature/coqmeta-introspector/mina-docs2:feature/coqCopy head branch name to clipboard

+221

Commits

Commits on Aug 2, 2024

• compiles

  

  mike dupont

  committed
  b8f567c

• compiles

  

  mike dupont

  committed
  f948eaa

• adding coq extraction

  

  mike dupont

  committed
  b0fd661