Skip to content
  • WeberJulian's avatar
    Update README.md · 96d811ee
    WeberJulian authored
    Just adding missing import and missing type in val_listofunion in the `👉 Simple Coqpit`
    96d811ee
Loading