Restore parallel examples

FStarLang / steel

The Steel separation logic library for F*

Apache License 2.0

31 stars 5 forks source link

Closed mtzguido closed 11 months ago

mtzguido commented 11 months ago

Restoring them to new syntax, still refactoring but want to get them under CI.